summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
diff options
context:
space:
mode:
authorMartin Možina <martin.mozina@fri.uni-lj.si>2016-10-25 11:44:37 +0200
committerMartin Možina <martin.mozina@fri.uni-lj.si>2016-10-25 11:44:37 +0200
commit656c66097e806b4c53646ea1fff3d8615426d304 (patch)
tree172d4cccd187380bfdc81df3f195f5304d9f4d34 /prolog/problems/denotational_semantics
parent0bfa95be7046b101a00f83f082260b5d0e007159 (diff)
parent9d662ae9b7a84b3826e91d2af17f251daaabcd79 (diff)
Merge branch 'master' of 192.168.15.97:codeq-problems
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 86c7532..9e282d0 100644
--- a/prolog/problems/denotational_semantics/common.py
+++ b/prolog/problems/denotational_semantics/common.py
@@ -1,2 +1,2 @@
id = 11
-number = 11
+number = 120