adjust example

potassco · Jan 6, 2024 · 94068ee · 94068ee
1 parent 24e9ebb
commit 94068ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libpyclingo/clingo/__init__.py b/libpyclingo/clingo/__init__.py
@@ -82,7 +82,7 @@
 
     class Context:
         def inc(self, x):
-            return Number(x.number)
+            return Number(x.number + 1)
 
         def seq(self, x, y):
             return [x, y]