diff options
| author | krasimir <krasimir@chalmers.se> | 2015-02-18 16:41:13 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-02-18 16:41:13 +0000 |
| commit | a97dee067a3ac8c36b1ff1604643fe3ac95d3bb1 (patch) | |
| tree | 822ca90617fe0dca28a6a148160462a0bc70114e /src | |
| parent | e3a87c657bce38dbf4f571c5816e97b7b0f5bfda (diff) | |
fix in the callback for names in the Haskell binding
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/haskell-bind/PGF2.hsc | 2 |
1 files changed, 1 insertions, 1 deletions
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) |