fixed spacing in uns-1 ugh

BFO-ontology · Feb 7, 2024 · 62640d3 · 62640d3 · alanruttenberg · Feb 8, 2024
1 parent 796ec1c
commit 62640d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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))))