diff --git a/src/haz3lweb/exercises/examples/BlankExercise.ml b/src/haz3lweb/exercises/examples/BlankExercise.ml index 8e60e23e58..c3e14055da 100644 --- a/src/haz3lweb/exercises/examples/BlankExercise.ml +++ b/src/haz3lweb/exercises/examples/BlankExercise.ml @@ -2,7 +2,8 @@ open Haz3lcore let exercise : Exercise.spec = { - id = Option.get (Id.of_string "7d3f9e28-a415-4b92-8c64-9f23d1678459"); + id = + Option.get (Haz3lcore.Id.of_string "7d3f9e28-a415-4b92-8c64-9f23d1678459"); title = ""; module_name = ""; prompt = ""; @@ -15,8 +16,17 @@ let exercise : Exercise.spec = relatives = { siblings = - ( [ Grout { id = Id.mk (); shape = Convex } ], - [ Grout { id = Id.mk (); shape = Convex } ] ); + ( [ + Grout + { + id = + Option.get + (Haz3lcore.Id.of_string + "f2130f9f-a452-481b-ba9a-c40e0d2346aa"); + shape = Convex; + }; + ], + [] ); ancestors = []; }; caret = Outer; @@ -28,8 +38,17 @@ let exercise : Exercise.spec = relatives = { siblings = - ( [ Grout { id = Id.mk (); shape = Convex } ], - [ Grout { id = Id.mk (); shape = Convex } ] ); + ( [ + Grout + { + id = + Option.get + (Haz3lcore.Id.of_string + "b371b234-c6ab-4e88-a8aa-f42c3fd24d6c"); + shape = Convex; + }; + ], + [] ); ancestors = []; }; caret = Outer; @@ -43,8 +62,17 @@ let exercise : Exercise.spec = relatives = { siblings = - ( [ Grout { id = Id.mk (); shape = Convex } ], - [ Grout { id = Id.mk (); shape = Convex } ] ); + ( [ + Grout + { + id = + Option.get + (Haz3lcore.Id.of_string + "0f65226c-718c-4e8e-8aae-a43ef4b2805c"); + shape = Convex; + }; + ], + [] ); ancestors = []; }; caret = Outer; @@ -59,8 +87,17 @@ let exercise : Exercise.spec = relatives = { siblings = - ( [ Grout { id = Id.mk (); shape = Convex } ], - [ Grout { id = Id.mk (); shape = Convex } ] ); + ( [], + [ + Grout + { + id = + Option.get + (Haz3lcore.Id.of_string + "66465f81-0867-4b8e-ae01-99f667cfbe7f"); + shape = Convex; + }; + ] ); ancestors = []; }; caret = Outer; @@ -75,8 +112,17 @@ let exercise : Exercise.spec = relatives = { siblings = - ( [ Grout { id = Id.mk (); shape = Convex } ], - [ Grout { id = Id.mk (); shape = Convex } ] ); + ( [ + Grout + { + id = + Option.get + (Haz3lcore.Id.of_string + "7e32de55-c4b6-4d48-a672-a2e50ff9f98d"); + shape = Convex; + }; + ], + [] ); ancestors = []; }; caret = Outer;