refreshing

eyereasoner · Nov 9, 2024 · b6f3938 · b6f3938
1 parent 15a2d71
commit b6f3938
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/color/slide32/slide32-proof.n3 b/color/slide32/slide32-proof.n3
@@ -48,7 +48,7 @@ skolem:lemma4 a r:Extraction;
             var:x_0 a var:x_1.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/slide32/slide32.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/slide32/slide32-query.n3>].
 
 skolem:lemma5 a r:Inference;
     r:gives {

diff --git a/color/slide32/test b/color/slide32/test
@@ -1,3 +1,3 @@
 #!/bin/bash
 eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/slide32/slide32.n3 --query https://eyereasoner.github.io/eye/color/slide32/slide32-query.n3 --output slide32-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/slide32/slide32.n3--query https://eyereasoner.github.io/eye/color/slide32/slide32-query.n3 --output slide32-proof.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/slide32/slide32.n3 --query https://eyereasoner.github.io/eye/color/slide32/slide32-query.n3 --output slide32-proof.n3