From cd3f586971521712ec773679b0a11d7d998864a5 Mon Sep 17 00:00:00 2001
From: Mario Bucev <mario.bucev@epfl.ch>
Date: Tue, 28 Feb 2023 16:05:05 +0100
Subject: [PATCH] Temporary, I promise :)

---
 build.sbt                                                 | 2 +-
 core/src/main/scala/stainless/genc/CFileOutputPhase.scala | 4 ----
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/build.sbt b/build.sbt
index d148992c91..c4fb4b35c4 100644
--- a/build.sbt
+++ b/build.sbt
@@ -275,7 +275,7 @@ val scriptSettings: Seq[Setting[_]] = Seq(
 def ghProject(repo: String, version: String) = RootProject(uri(s"${repo}#${version}"))
 
 // lazy val inox = RootProject(file("../inox"))
-lazy val inox = ghProject("https://github.com/epfl-lara/inox.git", "4b0daed170bddf7b71cd56cfceef6e5d2a35be26")
+lazy val inox = ghProject("https://github.com/mario-bucev/inox.git", "2f400b947738afe5436cfb99d4b21f2aa6cef91d")
 lazy val cafebabe = ghProject("https://github.com/epfl-lara/cafebabe.git", "616e639b34379e12b8ac202849de3ebbbd0848bc")
 
 // Allow integration test to use facilities from regular tests
diff --git a/core/src/main/scala/stainless/genc/CFileOutputPhase.scala b/core/src/main/scala/stainless/genc/CFileOutputPhase.scala
index 83490917d2..c77fbfc778 100644
--- a/core/src/main/scala/stainless/genc/CFileOutputPhase.scala
+++ b/core/src/main/scala/stainless/genc/CFileOutputPhase.scala
@@ -13,8 +13,6 @@ class CFileOutputPhase(using override val context: inox.Context) extends UnitPha
   val description = "Output converted C program to the specified file (default leon.c)"
 
   def apply(program: CAST.Prog): Unit = {
-    val timer = context.timers.genc.print.start()
-
     // Get the output file name from command line options, or use default
     val cFileName = context.options.findOptionOrDefault(optOutputFile)
     val cOutputFile = new File(cFileName)
@@ -53,8 +51,6 @@ class CFileOutputPhase(using override val context: inox.Context) extends UnitPha
     } catch {
       case _ : java.io.IOException => context.reporter.fatalError("Could not write C ouptut on " + cOutputFile)
     }
-
-    timer.stop()
   }
 
 }
\ No newline at end of file