Commit 52018743 authored by Mart Lubbers's avatar Mart Lubbers

fix tools

parent bed50591
Pipeline #27084 passed with stage
in 5 minutes and 8 seconds
......@@ -13,7 +13,6 @@ derive class iTask EndEventType, Expression
derive gEditor EndEvent, FailReason, FailedAssertion, CounterExample, Relation
derive gText EndEvent, FailReason, FailedAssertion, CounterExample, Relation
derive gDefault EndEvent, FailReason, FailedAssertion, CounterExample, Relation
derive gEq EndEvent, FailReason, FailedAssertion, CounterExample, Relation
compileTestModule :: CleanModuleName -> Task EndEvent
......
......@@ -11,6 +11,7 @@ ACE_DEFAULT_THEME :== "ace/theme/chrome"
ACE_DEFAULT_MODE :== "ace/mode/text"
derive class iTask AceState, AceRange
derive gDefault AceState, AceRange
derive gEditor AceOptions
derive gEq AceOptions
......
......@@ -40,7 +40,6 @@ EXAMPLE_MODULES :== ["../Examples/BasicApiExamples.icl"
derive class iTask EndEventType, Expression
derive gEditor EndEvent, FailReason, FailedAssertion, CounterExample, Relation
derive gDefault EndEvent, FailReason, FailedAssertion, CounterExample, Relation
derive gEq EndEvent, FailReason, FailedAssertion, CounterExample, Relation
derive gText EndEvent, FailReason, FailedAssertion, CounterExample, Relation
......
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