]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/basic_ag/bagEnvironment.ml
- conditional compilation continues ...
[helm.git] / helm / software / helena / src / basic_ag / bagEnvironment.ml
index 3f2b5534d96aa601d57b8db00399ec0ccb88e79a..865b6a59961d663d16f89e3af72bc1dbe5c627b4 100644 (file)
@@ -16,6 +16,8 @@ module G  = Options
 module E  = Entity
 module Z  = Bag
 
+IFDEF TYPE THEN
+
 exception ObjectNotFound of Z.message
 
 let hsize = 7000
@@ -39,3 +41,5 @@ END
 
 let get_entity f uri =
    try f (UH.find env uri) with Not_found -> error uri
+
+END