From a97dee067a3ac8c36b1ff1604643fe3ac95d3bb1 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 18 Feb 2015 16:41:13 +0000 Subject: [PATCH] fix in the callback for names in the Haskell binding --- src/runtime/haskell-bind/PGF2.hsc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/haskell-bind/PGF2.hsc b/src/runtime/haskell-bind/PGF2.hsc index 64f849e56..8511a38d6 100644 --- a/src/runtime/haskell-bind/PGF2.hsc +++ b/src/runtime/haskell-bind/PGF2.hsc @@ -520,7 +520,7 @@ nerc pgf (lang,concr) lin_idx sentence offset = where retLit e = --traceShow (name,e,drop end_offset sentence) $ Just (e,0,end_offset) - where end_offset = length sentence-length rest + where end_offset = offset+length name pn = retLit (mkApp "SymbPN" [mkApp "MkSymb" [mkStr name]]) ((lemma,cat),_) = maximumBy (compare `on` snd) (reverse ls) ls = [((fun,cat),p)