]> matita.cs.unibo.it Git - fireball-separation.git/commit
Fix: missing check to avoid stepping on vars of non positive arity
authoracondolu <andrea.condoluci@unibo.it>
Thu, 13 Jul 2017 17:05:39 +0000 (19:05 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 13 Jul 2017 17:05:39 +0000 (19:05 +0200)
commit58f1518398346a81ccd8d0b14a14565b8bff5276
tree71882a5958b66417b44276fb0a3553f5b8b51798
parent27e8f9b4f265ad98e19f85f24d576ed2c6dbf5c1
Fix: missing check to avoid stepping on vars of non positive arity
ocaml/lambda4.ml