[BugFix in Terms.MapGetPos
martin.hofmann@uni-bamberg.de**20090421095415] hunk ./src/Syntax/Terms.hs 33
-              | P Int
+              | P Int -- zero-based
hunk ./src/Syntax/Terms.hs 199
-mapGetPos ts s = concat $ snd $ L.mapAccumR (\i t -> (i+1, map (°i) (getPos t s))) 0 ts
+mapGetPos ts s = concat $ snd $ L.mapAccumL (\i t -> (i+1, map (°i) (getPos t s))) 0 ts