]> matita.cs.unibo.it Git - fireball-separation.git/commit
Re-use Util.index_of
authoracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 12:38:08 +0000 (14:38 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:08:53 +0000 (11:08 +0200)
commitc7edc9196105398f935954a7ff739cbe5382af47
treedff007820193fb30e5f25c0bc32a53325772f4d0
parenta505b0100d9fa4016c2301c8127267bf4439243b
Re-use Util.index_of

(cherry picked from commit 52947a60467ebb10cec57ffc1725644ad605c671)
ocaml/Makefile
ocaml/parser.ml