]> matita.cs.unibo.it Git - fireball-separation.git/commit
Code simplication & fix
authoracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 09:54:49 +0000 (11:54 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 09:54:49 +0000 (11:54 +0200)
commit9d6f485d270c2c60b5eb80bace1ae85b24a8e0fb
tree488410521481f87d19234a84b51dee819dfc41ac
parentee4df074206dd7decd12984fbfc6a4751b53eb0e
Code simplication & fix

j+1 was j
ocaml/simple.ml