extraction: fixed OCaml driver for List.length

c75a21ca · Jean-Christophe Filliatre · acc34fa3 · c75a21ca
Commit c75a21ca authored Apr 03, 2017 by Jean-Christophe Filliatre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

drivers/ocaml64.drv drivers/ocaml64.drv +1 -1

No files found.
--- a/drivers/ocaml64.drv
+++ b/drivers/ocaml64.drv
@@ -40,7 +40,7 @@ theory list.List
 end

 theory list.Length
-  syntax function length "List.length %1"
+  syntax function length "Z.of_int (List.length %1)"
 end

 theory list.Mem