fix SUMO after the update in DictEng

This commit is contained in:
kr.angelov
2011-08-23 15:05:04 +00:00
parent 829f648774
commit 1593c7249d
4 changed files with 10 additions and 19 deletions

View File

@@ -7,4 +7,6 @@ lin zero = "" ;
lincat NE = {} ;
lin plus x y = x ++ y ;
}