From e2770c4824871ccdc4abc15500f6a17b80588a7a 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 13:49:33 +0000
Subject: [PATCH] move sessions to a separate directory

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14184 3260e6d1-4efc-4170-b0a7-36055960796d
---
 Citadelle/examples/C_Model_init.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Citadelle/examples/C_Model_init.thy b/Citadelle/examples/C_Model_init.thy
index b39139d1cd9..8282218d883 100644
--- a/Citadelle/examples/C_Model_init.thy
+++ b/Citadelle/examples/C_Model_init.thy
@@ -38,7 +38,7 @@
 
 theory C_Model_init
   imports Isabelle_Meta_Model.Printer_init
-          Citadelle.Old_Datatype
+          "HOL-Library.Old_Datatype"
 begin
 
 type_synonym int = integer
-- 
GitLab