1
0
forked from GitHub/gf-rgl

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 6468920830
commit 1ccd47784d
39 changed files with 39 additions and 13 deletions

View File

@@ -1,6 +1,6 @@
concrete ExtraEst of ExtraEstAbs = CatEst **
open ResEst, MorphoEst, Coordination, Prelude, NounEst, StructuralEst, (R = ParamX) in {
flags coding=utf8;
lin
GenNP np = {
s,sp = \\_,_ => np.s ! NPCase Gen ;