diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/example-based/ExampleService.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/example-based/ExampleService.hs b/src/example-based/ExampleService.hs index fd045f76c..0d105c746 100644 --- a/src/example-based/ExampleService.hs +++ b/src/example-based/ExampleService.hs @@ -42,7 +42,7 @@ doAbstractExample cache environ = parsePGF <- readParsePGF cache let lang:_ = languages parsePGF Just (e,_) <- liftIO $ abstractExample parsePGF environ lang t abs example - outputJSONP e --(showExpr [] (exprToAPI e)) + outputJSONP (exprToAPI e) abstractExample parsePGF env lang cat abs example = E.searchGoodTree env abs (parse parsePGF lang cat example) |
