]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45b8f3d) | patch
List.nth not guarded by try ... with. Fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 15:29:20 +0000 (15:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 15:29:20 +0000 (15:29 +0000)
commit3fec2330f2d30d47ebca0decd30bd2a457a9cbd3
tree60d8ef802a04f2cdd8baf0efc3a71795fa441a99tree | snapshot
parent45b8f3d3fcc007ffd2e7891b992444908aa1a2fdcommit | diff
List.nth not guarded by try ... with. Fixed.
helm/ocaml/cic_unification/cicMetaSubst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.