]> matita.cs.unibo.it Git - helm.git/commit
Fixed Option type error (OCaml bug)
authordenes <??>
Tue, 14 Jul 2009 14:36:56 +0000 (14:36 +0000)
committerdenes <??>
Tue, 14 Jul 2009 14:36:56 +0000 (14:36 +0000)
commitf8830ea7f8b308241d73e558092089a24ab2f867
tree2f74f7cc1039bdac8aa68dfc10c52099fde93384
parent4244a4d70b9ab2fece0ff5b63506f6d323cbfbe2
Fixed Option type error (OCaml bug)
helm/software/components/grafite_engine/grafiteEngine.ml