Add explicit character encoding specifications in 39 more RGL modules

To silence warnings and avoid potential problems after changing the default
encoding to UTF-8.
This commit is contained in:
hallgren
2013-11-25 18:17:12 +00:00
parent 1c34005ffc
commit fc2f5b0a1a
39 changed files with 39 additions and 13 deletions

View File

@@ -1,3 +1,4 @@
--# -coding=latin1
concrete QuestionFin of Question = CatFin ** open ResFin, Prelude in {
flags optimize=all_subs ;