]> matita.cs.unibo.it Git - fireball-separation.git/commit
Removed parameter from C
authoracondolu <andrea.condoluci@unibo.it>
Fri, 1 Jun 2018 14:17:19 +0000 (16:17 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 1 Jun 2018 14:17:19 +0000 (16:17 +0200)
commit69f6ab5b05bcbeb0ced857415c7c48460ae0bdcb
treebcf126f3ea94ea21af3bf2c3591d08534094f291
parent2dc39f89b90fc5b63d8ef4208e43557fb8e1206e
Removed parameter from C
ocaml/simple.ml