diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/evaluators/FOL.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |