]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6696898) | patch
- bugfix: raise an Invalid_choice insteda of a generic exception on
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 12:25:36 +0000 (12:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 12:25:36 +0000 (12:25 +0000)
commite9e00ee3e8d57c51e52fcfca9c642b8f366b8d0d
tree9ad62dde8ebf17a827402cf4afad482c97ad0fd5tree | snapshot
parent6696898978f86977863429cc3a8690d2546a918bcommit | diff
- bugfix: raise an Invalid_choice insteda of a generic exception on
  inductive constructor error
- moved TEST_INTERPRETATION debug message in a better place
helm/ocaml/cic_disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.