]> matita.cs.unibo.it Git - helm.git/commit
replace assert false with AssertFailure
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 Jun 2008 12:01:37 +0000 (12:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 Jun 2008 12:01:37 +0000 (12:01 +0000)
commitbbe46eaa76d94ea97c7aa1d60bdcbde9380a2e14
treecb6d4f3ff24c4eeae7a78bfb9c406645ab6ff2ff
parent9b4286fdc2d88b0d8018e5718ef055804f5cf7ac
replace assert false with AssertFailure
helm/software/components/cic_unification/cicRefine.ml