From 5d2a66b7208c1bc28cd0999cbe420a1cf970e5a2 Mon Sep 17 00:00:00 2001
From: Marc Pouzet <Marc.Pouzet@ens.fr>
Date: Wed, 30 Oct 2024 18:08:35 +0100
Subject: [PATCH] Update

---
 src/compiler/main/compiler.ml | 2 --
 zelus.opam                    | 4 ++--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/compiler/main/compiler.ml b/src/compiler/main/compiler.ml
index 432eb4ab..30223491 100644
--- 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
index bd3e0740..c8e4ee98 100644
--- 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}
   [