From a121a00bc92a91946fbbec879e33a2854dce9f88 Mon Sep 17 00:00:00 2001
From: Michael Norrish <michael.norrish@anu.edu.au>
Date: Tue, 24 Oct 2023 13:08:23 +1100
Subject: [PATCH] Fix bug hitherto masked by HOL issue
 HOL-Theorem-Prover/HOL/#1140

---
 compiler/backend/semantics/flatSemScript.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/backend/semantics/flatSemScript.sml b/compiler/backend/semantics/flatSemScript.sml
index 2c8421a555..bdac86894f 100644
--- a/compiler/backend/semantics/flatSemScript.sml
+++ b/compiler/backend/semantics/flatSemScript.sml
@@ -39,8 +39,8 @@ val _ = Datatype`
   v =
     | Litv lit
     | Conv ((ctor_id # type_id) option) (v list)
-    | Closure ('v environment) varN exp
-    | Recclosure ('v environment) ((varN # varN # exp) list) varN
+    | Closure (v environment) varN exp
+    | Recclosure (v environment) ((varN # varN # exp) list) varN
     | Loc num
     | Vectorv (v list)`;