chore: fix warning in samples

Signed-off-by: Dmitrii.Kosarev a.k.a. Kakadu <[email protected]>
PLTools · Dec 4, 2024 · e3f9e01 · e3f9e01
1 parent 5b349b5
commit e3f9e01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/samples/JeepProblem.ml b/samples/JeepProblem.ml
@@ -21,7 +21,7 @@ open OCanren
 open OCanren.Std
 
 module Move = struct
-  ocanren type 'a move =
+  ocanren type nonrec 'a move =
     | Forward  of 'a
     | Backward of 'a
     | Unload   of 'a