diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-14 11:19:30 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-14 11:19:30 +0000 |
| commit | a11f1b14370883b903da5b93de88984a3cfb9344 (patch) | |
| tree | a067b0505df5e755f07dc16a5405b5d48838d6c1 /src/GF/Command | |
| parent | 3fe0cccaf7bcf3dc85edd597f15ff468cae957ef (diff) | |
paraphrase works a little better now ; added examples/paraphrase for testing
Diffstat (limited to 'src/GF/Command')
| -rw-r--r-- | src/GF/Command/TreeOperations.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Command/TreeOperations.hs b/src/GF/Command/TreeOperations.hs index da7399615..d4b5d175a 100644 --- a/src/GF/Command/TreeOperations.hs +++ b/src/GF/Command/TreeOperations.hs @@ -25,7 +25,7 @@ allTreeOps pgf = [ ("compute",("compute by using semantic definitions (def)", map (compute pgf))), ("paraphrase",("paraphrase by using semantic definitions (def)", - concatMap (paraphrase pgf))), + nub . concatMap (paraphrase pgf))), ("smallest",("sort trees from smallest to largest, in number of nodes", smallest)), ("typecheck",("type check and solve metavariables; reject if incorrect", |