]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/acic_procedural/proceduralClassify.ml
- Coq/preamble: missing alias added
[helm.git] / helm / software / components / acic_procedural / proceduralClassify.ml
index 981acc969678302644d591be5bbe540702accd36..53c363a428372c447284c5c3f5654dbc2cd69f4b 100644 (file)
@@ -56,6 +56,12 @@ let out_table b =
    Array.iteri map b;
    prerr_newline ()
 
+(* dummy dependences ********************************************************)
+
+let make l =
+   let map _ = I.S.empty, false in
+   List.rev_map map l
+
 (* classification ***********************************************************)
 
 let classify_conclusion vs =