refreshing

eyereasoner · Oct 16, 2024 · bfd34e7 · bfd34e7
1 parent fb1b8e2
commit bfd34e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/pure/cobbler.n3s b/test/pure/cobbler.n3s
@@ -1,6 +1,6 @@
 # Good Cobbler
 # Example from https://shs.hal.science/halshs-04148373/document
-# Using functional logic http://intrologic.stanford.edu/chapters/chapter_11.html
+# Using term logic http://intrologic.stanford.edu/chapters/chapter_11.html
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix : <urn:example:>.