]> matita.cs.unibo.it Git - fireball-separation.git/commit
Fixed computation of arity for top-level inerts
authoracondolu <andrea.condoluci@unibo.it>
Sat, 22 Jul 2017 19:00:26 +0000 (21:00 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:11:35 +0000 (11:11 +0200)
commite76ebd06143e44b57e2da545c2570cf7f7200908
treedc51cac1217503e3976c453333f243373bc8b4ee
parentc1916445ec467d94925778e953ab191db3ea9f44
Fixed computation of arity for top-level inerts

(cherry picked from commit 5682bf463b89edb7756020fe7b838eb846d6c771)
ocaml/lambda4.ml
ocaml/parser.ml