⚡ introduced declare miner

WilliamsRizzi · WilliamsRizzi · commit 82b7164d3928 · 2020-05-21T10:47:56.000+02:00
diff --git a/src/reference.js b/src/reference.js
@@ -159,7 +159,7 @@ export const encoding = [
     {
         label: 'Declare',
         value: DECLARE,
-        message: 'Each feature is encoded as a constraint Declare.'
+        message: 'Each feature is encoded as a Declare constraint.'
     }
 ];
 

Original file line number	Diff line number	Diff line change
`@@ -159,7 +159,7 @@ export const encoding = [`
`159`	`159`	`{`
`160`	`160`	`label: 'Declare',`
`161`	`161`	`value: DECLARE,`
`162`		`- message: 'Each feature is encoded as a constraint Declare.'`
	`162`	`+ message: 'Each feature is encoded as a Declare constraint.'`
`163`	`163`	`}`
`164`	`164`	`];`
`165`	`165`