]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8c20c4) | patch
"assert false" relaxed to a warning.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Feb 2004 14:38:56 +0000 (14:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Feb 2004 14:38:56 +0000 (14:38 +0000)
commit1c04fd27caa8bfb794848c90202bbc65b29c0cfa
treec58a7d31b5cdf08216d67162b8bed472b1c9fbb7tree | snapshot
parenta8c20c4385d6045b848d21af9f30fc583de2aaa2commit | diff
"assert false" relaxed to a warning.
The problem raises when a non-dependent type is found and there IS a Rel
to it. It used to be an assert false (that failed). It is now relaxed
to a Cic.Anonymous (plus a warning on stderr).
helm/ocaml/cic_unification/freshNamesGenerator.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.