Merge pull request #121 from Avi-D-coder/master

Update casesplit plugin.

Author: alanz

src/extension.ts

@@ -209,7 +209,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;
   }