From 54dadc33d6e2f26bb37a61c1ee604a0dd61873d6 Mon Sep 17 00:00:00 2001
From: Pierre-Emmanuel Wulfman <pierre.emmanuel.wulfman@gmail.com>
Date: Tue, 21 Apr 2020 16:59:12 +0200
Subject: [PATCH] move Var.reset_counter () to run_ligo

---
 src/bin/cli.ml                     | 1 -
 src/bin/expect_tests/cli_expect.ml | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/cli.ml b/src/bin/cli.ml
index 0c82c442e..540b07f12 100644
--- a/src/bin/cli.ml
+++ b/src/bin/cli.ml
@@ -475,7 +475,6 @@ let list_declarations =
   (Term.ret term , Term.info ~doc cmdname)
 
 let run ?argv () =
-  Var.reset_counter ();
   Term.eval_choice ?argv main [
     temp_ligo_interpreter ;
     compile_file ;
diff --git a/src/bin/expect_tests/cli_expect.ml b/src/bin/expect_tests/cli_expect.ml
index 7006d2124..a23a84268 100644
--- a/src/bin/expect_tests/cli_expect.ml
+++ b/src/bin/expect_tests/cli_expect.ml
@@ -10,6 +10,7 @@ exception Should_exit_bad
 let () = Unix.putenv "TERM" "dumb"
 
 let run_ligo args =
+  Var.reset_counter ();
   let argv = Array.of_list ("ligo" :: args) in
   let result = Cli.run ~argv () in
   Term.exit_status_of_result result