From 314286bf1e032207501aebd742deaddb3969a590 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 14 Dec 2022 00:01:37 +0100 Subject: [PATCH] start strings at 0 --- simplifier.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/simplifier.ml b/simplifier.ml index 1db96c5..532cb91 100644 --- a/simplifier.ml +++ b/simplifier.ml @@ -2,7 +2,7 @@ open Ast open Baselib let collect_constant_strings code = - let counter = ref 0 in + let counter = ref (-1) in let env = ref Env.empty in let ccs_value = function | V1.Void -> V2.Void, []