diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 12:00:45 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 12:00:45 -0300 |
| commit | 7689433baac01b6e9f3d7f91bec0ec1b89f15104 (patch) | |
| tree | 7b02425e8fd390d7b02efa7e837a61028d1abbe9 /lib/evaluators/FOL.ml | |
| parent | ad33454a204aa5791445e7d15f02ba0447fff85e (diff) | |
| download | RNT-7689433baac01b6e9f3d7f91bec0ec1b89f15104.tar.gz RNT-7689433baac01b6e9f3d7f91bec0ec1b89f15104.zip | |
temporary handle instead of type description everywhere
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 = |