summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/example-based/ExampleService.hs2
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)