diff options
| -rw-r--r-- | src/runtime/haskell/PGF/Forest.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/Forest.hs b/src/runtime/haskell/PGF/Forest.hs index be96ac0f3..6a5a0c629 100644 --- a/src/runtime/haskell/PGF/Forest.hs +++ b/src/runtime/haskell/PGF/Forest.hs @@ -121,7 +121,7 @@ getAbsTrees (Forest abs cnc forest root) arg@(PArg _ fid) ty dp = generateForForest (prove dp) e) emptyMetaStore fid
in if null res
then Left (nub err)
- else Right (nubsort [e | (_,_,e) <- res])
+ else Right (nub [e | (_,_,e) <- res])
where
go rec_ scope_ mb_tty_ (PArg hypos fid)
| fid < totalCats cnc = case mb_tty of
|