summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/denotational_semantics')
-rw-r--r--prolog/problems/denotational_semantics/common.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/denotational_semantics/common.py b/prolog/problems/denotational_semantics/common.py
index e2c420e..86c7532 100644
--- a/prolog/problems/denotational_semantics/common.py
+++ b/prolog/problems/denotational_semantics/common.py
@@ -1,2 +1,2 @@
id = 11
-number = 10
+number = 11