diff options
| author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-10-25 11:44:37 +0200 |
|---|---|---|
| committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-10-25 11:44:37 +0200 |
| commit | 656c66097e806b4c53646ea1fff3d8615426d304 (patch) | |
| tree | 172d4cccd187380bfdc81df3f195f5304d9f4d34 /prolog/problems/denotational_semantics | |
| parent | 0bfa95be7046b101a00f83f082260b5d0e007159 (diff) | |
| parent | 9d662ae9b7a84b3826e91d2af17f251daaabcd79 (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.py | 2 |
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 |