currypp SQL tests removed

543ddf41 · Michael Hanus · ee572026 · 543ddf41
Commit 543ddf41 authored Oct 11, 2017 by Michael Hanus
--- a/currypp/package.json
+++ b/currypp/package.json
@@ -26,10 +26,6 @@
        { "src-dir": "src/IntegratedCode/Examples",
          "modules": [ "testFormat", "testRegExps" ]
        },
-        { "src-dir": "src/IntegratedCode/ExamplesSQL",
-          "options": "-v",
-          "script" : "test.sh"
-        },
        { "src-dir": "src/DefaultRules/Examples",
          "options": "-m40",
          "modules": [ "BreakWhere", "BubbleSort", "ColorMap", "DutchFlag",