Update

INRIA · Oct 30, 2024 · 5d2a66b · 5d2a66b
1 parent f5c9a76
commit 5d2a66b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/src/compiler/main/compiler.ml b/src/compiler/main/compiler.ml
@@ -162,8 +162,6 @@ let compile modname filename =
     let p = do_step "Mark functions calls to be inlined. See below:"
 	      Printer.program Markfunctions.program p in
 
-    let _ = Zelus.show_program in
-
     (* source-to-source transformations *)
 
     (* defines the initial global environment for values *)

diff --git a/zelus.opam b/zelus.opam
@@ -1,4 +1,4 @@
-opam-version: "2.2"
+opam-version: "2.2.1"
 version: "3.0"
 synopsis: "A synchronous language with ODEs"
 authors: [
@@ -16,7 +16,7 @@ depends: [
   "menhir" {>= "20240715"}
   "alcotest" {with-test}
 ]
-depopts: ["sundialsml"]
+depopts: []
 build: [
   ["dune" "subst"] {dev}
   [