From 229c570d64883897702713108a2018d4b97ffec6 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:50 +0000 Subject: [PATCH] update the generated files git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14187 3260e6d1-4efc-4170-b0a7-36055960796d --- Citadelle/doc/Meta_C_generated.thy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Citadelle/doc/Meta_C_generated.thy b/Citadelle/doc/Meta_C_generated.thy index 03b3938699a..11ca728d7a5 100644 --- a/Citadelle/doc/Meta_C_generated.thy +++ b/Citadelle/doc/Meta_C_generated.thy @@ -1,4 +1,4 @@ -theory Meta_C_generated imports "FOCL.UML_Main" "FOCL.Static" "Citadelle_C_init.C_Model_init" begin +theory Meta_C_generated imports "OCL.UML_Main" "FOCL.Static" "Citadelle_C_init.C_Model_init" begin (* 1 ************************************ 0 + 0 *) (* term Floor1_infra.print_infra_enum_synonym *) -- GitLab