bad merge

project-everest · Dec 5, 2023 · 96c6ee9 · 96c6ee9
1 parent eb44818
commit 96c6ee9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/3d/prelude/EverParse3d.Actions.Base.fst b/src/3d/prelude/EverParse3d.Actions.Base.fst
@@ -239,7 +239,7 @@ let validate_with_action_t'
      (l:eloc)
      (allow_reading:bool)
 : Type 
-  (# [EverParse3d.Util.solve_from_ctx ()] I.extra_t #input_buffer_t) ->
+= (# [EverParse3d.Util.solve_from_ctx ()] I.extra_t #input_buffer_t) ->
   (ctxt: app_ctxt) ->
   (error_handler_fn : error_handler) ->
   (sl: input_buffer_t) ->