From 09bfc860b38fef6e00dbff5ec10c8a945010501b Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Tue, 15 Feb 2022 13:00:48 +0100
Subject: [PATCH] Cleaning
---
src/tools/tiny/tiny_verifier.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/tools/tiny/tiny_verifier.ml b/src/tools/tiny/tiny_verifier.ml
index cd204655..5bb9c58f 100644
--- a/src/tools/tiny/tiny_verifier.ml
+++ b/src/tools/tiny/tiny_verifier.ml
@@ -50,7 +50,7 @@ let tiny_run ~basename prog machines =
let m = Machine_code_common.get_machine machines node_name in
let env = (* We add each variables of the node the Tiny env *)
Tiny_utils.machine_to_env m in
- let nd = m.mname in
+ (*let nd = m.mname in*)
(* Building preamble with some bounds on inputs *)
(* TODO: deal woth contracts, asserts, ... *)
let bounds_inputs = [] in
--
GitLab