From 08ebec4de20f062b70938da6d48797ed2e83c3df Mon Sep 17 00:00:00 2001
From: Marc Pouzet <Marc.Pouzet@ens.fr>
Date: Thu, 31 Oct 2024 18:46:29 +0100
Subject: [PATCH] Update translate.ml

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

diff --git a/src/compiler/gencode/translate.ml b/src/compiler/gencode/translate.ml
index 9b44fdd6..410466c3 100644
--- a/src/compiler/gencode/translate.ml
+++ b/src/compiler/gencode/translate.ml
@@ -487,7 +487,7 @@ let rec exp env loop_path code { Zelus.e_desc = desc } =
      let code_body = result env r in
      let code_body = add_mem_vars_to_code code_body mem_acc var_acc in
      machine k pat_list code_body ty, code
-  | Ereset(e, r_e) ->
+  | Zelus.Ereset(e, r_e) ->
      let { init = i_code } = code in
      let e, ({ init = ri_code } as r_code) =
        exp env loop_path empty_code e in