From a19f7016fdc86cf88dbc6951261c9a0eb2247972 Mon Sep 17 00:00:00 2001 From: Javier Romero Date: Fri, 5 Jul 2024 15:33:15 +0200 Subject: [PATCH] minor fix in control.py documentation --- libpyclingo/clingo/control.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libpyclingo/clingo/control.py b/libpyclingo/clingo/control.py index 7e6e77291..e3d1782be 100644 --- a/libpyclingo/clingo/control.py +++ b/libpyclingo/clingo/control.py @@ -30,7 +30,7 @@ >>> print(ctl.solve(on_model=print)) q SAT - >>> ctl.ground([("b", [Number(1)]), ("p", [Number(2)])]) + >>> ctl.ground([("b", [Number(1)]), ("b", [Number(2)])]) >>> print(ctl.solve(on_model=print)) q q(1) q(2) SAT