From 940c518093003a4442aca39762101587330c9f6e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ale=C5=A1=20Smodi=C5=A1?= Date: Tue, 18 Aug 2015 16:34:34 +0200 Subject: Added the coding line to python files. --- prolog/problems/denotational_semantics/prog_8puzzle_3/common.py | 2 ++ prolog/problems/denotational_semantics/prog_8puzzle_3/en.py | 2 ++ 2 files changed, 4 insertions(+) (limited to 'prolog/problems/denotational_semantics/prog_8puzzle_3') diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py index 415dc17..f86a0c4 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py @@ -1,3 +1,5 @@ +# coding=utf-8 + id = 173 group = 'denotational_semantics' number = 82 diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py index c91b9e3..346d579 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py @@ -1,3 +1,5 @@ +# coding=utf-8 + id = 173 name = 'prog_8puzzle/3' slug = '8-puzzle-solving language with semantics' -- cgit v1.2.1