From d54b36be3d365b1a9a4ec8b12313b84c508ecd98 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 19:18:57 +0100
Subject: Implement pre-passes to update the AST before executing the
 interpreter

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

(limited to 'src/Print.ml')

diff --git a/src/Print.ml b/src/Print.ml
index 2db92d41..7c1ef79a 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -733,7 +733,7 @@ module CfimAst = struct
         | E.Field (E.ProjOption variant_id, fid) ->
             assert (variant_id == T.option_some_id);
             assert (fid == T.FieldId.zero);
-            "(" ^ s ^ "as Option::Some)." ^ T.FieldId.to_string fid
+            "(" ^ s ^ " as Option::Some)." ^ T.FieldId.to_string fid
         | E.Field (E.ProjTuple _, fid) ->
             "(" ^ s ^ ")." ^ T.FieldId.to_string fid
         | E.Field (E.ProjAdt (adt_id, opt_variant_id), fid) -> (
-- 
cgit v1.2.3