]> matita.cs.unibo.it Git - fireball-separation.git/commit
Fix in pretty-printing of match
authoracondolu <andrea.condoluci@unibo.it>
Tue, 25 Jul 2017 14:49:11 +0000 (16:49 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:12:07 +0000 (11:12 +0200)
commit9ad3734756bdab9ea23884a7bddbfaa599dbd3ae
treeb49444d8703159cf6a8ff81cb0a54e78d5b1bd7a
parentcb289306640a1605bd22b539a80710175b763810
Fix in pretty-printing of match
ocaml/num.ml