Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
tests
ocaml
misc
misctest.ml
Find file
Blame
History
Permalink
Use merge instead of union_disj to update gamma in compile
· 92cc25ff
Julien Lopez
authored
Jun 23, 2014
Fix tests of ocaml interface
92cc25ff