Commit 717c94a1 authored by Michael Hanus 's avatar Michael Hanus
Browse files

currycheck updated

parent 59631df3
......@@ -7,6 +7,8 @@
"dependencies": {
"base" : ">= 1.0.0, < 2.0.0",
"abstract-curry": ">= 2.0.0",
"cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0",
"flatcurry" : ">= 2.0.0",
"rewriting" : ">= 2.0.0",
"wl-pprint" : ">= 0.0.1"
......@@ -15,7 +17,7 @@
"pakcs": ">= 2.0.0",
"kics2": ">= 2.0.0"
},
"configModule": "CurryCheckConfig",
"configModule": "CC.Config",
"executable": {
"name": "curry-check",
"main": "CurryCheck"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment