Update casesplit plugin.

Avi-D-coder · web-flow · commit 1352e5933fe7 · 2018-10-30T13:03:13.000-04:00
diff --git a/src/extension.ts b/src/extension.ts
@@ -206,7 +206,7 @@ function activateHieNoCheck(context: ExtensionContext, folder: WorkspaceFolder,
     registerHiePointCommand('hie.commands.liftTopLevel', 'hare:lifttotoplevel', context);
     registerHiePointCommand('hie.commands.deleteDef', 'hare:deletedef', context);
     registerHiePointCommand('hie.commands.genApplicative', 'hare:genapplicative', context);
-    registerHiePointCommand('hie.commands.caseSplit', 'ghcmod:casesplit', context);
+    registerHiePointCommand('hie.commands.caseSplit', 'hare:casesplit', context);
     hieCommandsRegistered = true;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -206,7 +206,7 @@ function activateHieNoCheck(context: ExtensionContext, folder: WorkspaceFolder,`
`206`	`206`	`registerHiePointCommand('hie.commands.liftTopLevel', 'hare:lifttotoplevel', context);`
`207`	`207`	`registerHiePointCommand('hie.commands.deleteDef', 'hare:deletedef', context);`
`208`	`208`	`registerHiePointCommand('hie.commands.genApplicative', 'hare:genapplicative', context);`
`209`		`- registerHiePointCommand('hie.commands.caseSplit', 'ghcmod:casesplit', context);`
	`209`	`+ registerHiePointCommand('hie.commands.caseSplit', 'hare:casesplit', context);`
`210`	`210`	`hieCommandsRegistered = true;`
`211`	`211`	`}`
`212`	`212`