From 95db9204b7137f0c3ce88dfecd0779cd24d2e1c0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Tuong?=
<tuong@users.noreply.github.com>
Date: Sat, 9 May 2020 14:15:23 +0000
Subject: [PATCH] move sessions to a separate directory
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14186 3260e6d1-4efc-4170-b0a7-36055960796d
---
Citadelle/examples/C_Model_core.thy | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Citadelle/examples/C_Model_core.thy b/Citadelle/examples/C_Model_core.thy
index 6a56654ffec..033e2af9846 100644
--- a/Citadelle/examples/C_Model_core.thy
+++ b/Citadelle/examples/C_Model_core.thy
@@ -56,7 +56,7 @@ declare [[syntax_ambiguity_warning = false]]
generation_syntax [ deep
(THEORY Meta_C_generated)
- (IMPORTS ["FOCL.UML_Main", "FOCL.Static", "Citadelle_C_init.C_Model_init"]
+ (IMPORTS ["OCL.UML_Main", "FOCL.Static", "Citadelle_C_init.C_Model_init"]
"Citadelle.Generator_dynamic_concurrent")
SECTION
SORRY
--
GitLab