try to fix error

potassco · Oct 26, 2023 · f39f239 · f39f239
1 parent a114a01
commit f39f239
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/examples/reify/default.png b/examples/reify/default.png
diff --git a/examples/reify/viz.lp b/examples/reify/viz.lp
@@ -18,6 +18,7 @@
 #defined theory_atom/5.
 #defined theory_tuple/1.
 #defined theory_tuple/3.
+#defined theory_sequence/3.
 
 atom(E, atom_tuple(A,E)):- atom_tuple(A,E), E>0.
 atom(E, external(E,V)):- external(E,V).

diff --git a/setup.cfg b/setup.cfg
@@ -21,7 +21,7 @@ install_requires =
 
 [options.extras_require]
 dev =
-    pylint>=2.12
+    pylint=2.12
     pytest>=6.2
 test =
     pytest>=6.2