From 94068eee779a3c35439be1333314271593996f79 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Sat, 6 Jan 2024 10:35:22 +0100
Subject: [PATCH] adjust example

---
 libpyclingo/clingo/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libpyclingo/clingo/__init__.py b/libpyclingo/clingo/__init__.py
index f6b486289..805968675 100644
--- 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]