refreshing

eyereasoner · Dec 14, 2023 · 80da08a · 80da08a
1 parent 3333f14
commit 80da08a
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/reasoning/quad/quad.n4 → reasoning/quad/quad.n3x b/reasoning/quad/quad.n4 → reasoning/quad/quad.n3x
diff --git a/reasoning/quad/quad.out.n4 → reasoning/quad/quad.out.n3x b/reasoning/quad/quad.out.n4 → reasoning/quad/quad.out.n3x
diff --git a/reasoning/quad/test b/reasoning/quad/test
@@ -1,2 +1,2 @@
 #!/bin/bash -x
-eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --nope http://eyereasoner.github.io/eye/reasoning/quad/quad.n4 --pass-only-new --output quad.out.n4
+eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --nope http://eyereasoner.github.io/eye/reasoning/quad/quad.n3x --pass-only-new --output quad.out.n3x