]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d3dc48) | patch
Horrible workaround
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 20:09:15 +0000 (21:09 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 20:09:15 +0000 (21:09 +0100)
commite83cd27fc0694c34baf35c8b80d32317e51be707
treedeaef3cce598b3950d052ec4c2ea9a2d11761f66tree | snapshot
parent1d3dc48a9755b08ecb93d88b67b8445fbb314ad6commit | diff
Horrible workaround

Compiled with recent OCaml, Matita now fails removing
a notation when it starts. The patch avoids the assert
false. I have not investigated what's going on.
helm/software/components/lexicon/cicNotation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.