Added changes that were not saved

hazelgrove · Feb 2, 2025 · eda7477 · eda7477
1 parent c964b50
commit eda7477
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 95 deletions.
diff --git a/src/haz3lweb/exercises/Tutorial.re b/src/haz3lweb/exercises/Tutorial.re
@@ -473,7 +473,6 @@ let stitch_term = (eds: p('a)): stitched(TermItem.t) => {
   // Printf.printf("Wrapper: %b\n", eds.wrapper);
   // Printf.printf("Name: %s\n", eds.module_name);
   Printf.printf("Wrapper: %b\n", eds.wrapper);
-  Printf.printf("prompt: %s\n", eds.prompt);
 
   let user_impl_term = {
     eds.your_impl |> term_of |> wrap_filter(FilterAction.Step);

diff --git a/src/haz3lweb/exercises/examples/Tu_ComputingEquationally.ml b/src/haz3lweb/exercises/examples/Tu_ComputingEquationally.ml
diff --git a/src/haz3lweb/exercises/examples/Tu_ExpressiveProgramming.ml b/src/haz3lweb/exercises/examples/Tu_ExpressiveProgramming.ml