From 7689433baac01b6e9f3d7f91bec0ec1b89f15104 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 12 Oct 2026 12:00:45 -0300 Subject: temporary handle instead of type description everywhere --- lib/evaluators/FOL.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/evaluators/FOL.ml') diff --git a/lib/evaluators/FOL.ml b/lib/evaluators/FOL.ml index 050e528..d5518ae 100644 --- a/lib/evaluators/FOL.ml +++ b/lib/evaluators/FOL.ml @@ -153,7 +153,7 @@ let derive ?decide relation description modes enumerate = Kernel.EphemeralRelation.instantiate ~inputs:[relation] ?decide ~modes:(fun () -> Ok modes) description - {Kernel.EphemeralRelation.name= None; schematics= `Temporary description; pointer= None} + (Kernel.EphemeralRelation.temporary description) (fun () -> enumerate relation) let rec execute plan = -- cgit v1.2.3