Fix #53: Force encoding to be UTF-8

STAMP-project · May 1, 2019 · 3c25823 · 3c25823
1 parent a9fe4aa
commit 3c25823
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -32,4 +32,6 @@ RUN bash install.sh \
         --z3-platform ${Z3_PLATFORM} \
         --install-docker \
         --camp-from-sources ${WITH_TESTS} ${DEBUG}
-
+
+# Avoid UnicodeDecodeError as per Issue #53
+ENV LANG C.UTF-8