defunctionalization example: fixed OCaml extraction

573b19d5 · Jean-Christophe Filliatre · 816667fb · 573b19d5 · 573b19d5
Commit 573b19d5 authored Apr 02, 2014 by Jean-Christophe Filliatre
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

examples/defunctionalization/.gitignore examples/defunctionalization/.gitignore +1 -0

examples/defunctionalization/Makefile examples/defunctionalization/Makefile +1 -1

No files found.
--- a/examples/defunctionalization/.gitignore
+++ b/examples/defunctionalization/.gitignore
+*.ml
--- a/examples/defunctionalization/Makefile
+++ b/examples/defunctionalization/Makefile
@@ -32,7 +32,7 @@ $(MAIN).opt: $(CMX) $(MAIN).cmx
 $(MAIN).cmx: $(CMX)

 $(ML): ../defunctionalization.mlw
-	why3 -E ocaml ../defunctionalization.mlw -o .
+	why3 -E ocaml64 ../defunctionalization.mlw -o .

 %.cmx: %.ml
 	$(OCAMLOPT) $(WHY3) -annot -c $<