From 42cbc6ddafa22582ba15bd7bff80529d9f66e767 Mon Sep 17 00:00:00 2001
From: Antoine Grimod <antoine.grimod@gmail.com>
Date: Mon, 9 Jan 2023 21:11:38 +0100
Subject: [PATCH] fix typo in code

---
 src/cprint.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cprint.ml b/src/cprint.ml
index 9a31469..57389a0 100644
--- a/src/cprint.ml
+++ b/src/cprint.ml
@@ -95,7 +95,7 @@ let cp_state_frees fmt (iprog, sts) =
         then
           Format.fprintf fmt "\tif (st->aux_states[%d]) {\n\
             \t\tfree_state_%s((t_state_%s*)(st->aux_states[%d]));\n\
-            \t\tfree (st->aux_state[%d]);\n\t}\n%a"
+            \t\tfree (st->aux_states[%d]);\n\t}\n%a"
             idx callee_name callee_name idx
             idx cp_free_aux (i+1, caller_name)
         else Format.fprintf fmt "\tif (st->aux_states[%d])\n\