From 62640d350daac2e955e6f4f50ddc927257fa5ab0 Mon Sep 17 00:00:00 2001 From: John Beverley Date: Wed, 7 Feb 2024 16:35:41 -0500 Subject: [PATCH] fixed spacing in uns-1 ugh --- src/common-logic/existence-instantiation.cl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/common-logic/existence-instantiation.cl b/src/common-logic/existence-instantiation.cl index b4262a0..2e09929 100644 --- a/src/common-logic/existence-instantiation.cl +++ b/src/common-logic/existence-instantiation.cl @@ -18,7 +18,7 @@ This work is licensed under a Creative Commons "Attribution 4.0 International" l (forall (u) (if (universal u) (exists (p t) (instance-of p u t))))) - (cl:comment "exists-at is dissective on first argumen twhen it is a continuant [uns-1]" + (cl:comment "exists-at is dissective on first argument when it is a continuant [uns-1]" (forall (p q r) (if (and (exists-at p q) (continuant-part-of r p q)) (exists-at r q))))