From 5f87285d015cbf0b1bd221c12301416667069f99 Mon Sep 17 00:00:00 2001
From: Yann Bolliger <yann.bolliger@epfl.ch>
Date: Tue, 6 Jul 2021 01:42:35 +0200
Subject: [PATCH] Turn measure inference back on (#165)

---
 stainless_backend/src/lib.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/stainless_backend/src/lib.rs b/stainless_backend/src/lib.rs
index 61012b8d..d25d7c45 100644
--- a/stainless_backend/src/lib.rs
+++ b/stainless_backend/src/lib.rs
@@ -57,8 +57,6 @@ impl Backend {
       .arg("--batched")
       .arg("--vc-cache=false")
       .arg("--type-checker=false")
-      .arg("--check-measures=false")
-      .arg("--infer-measures=false")
       .arg(format!("--timeout={}", config.timeout))
       .arg(format!("--print-ids={}", config.print_ids))
       .arg(format!("--print-types={}", config.print_types))