aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/ide.js
diff options
context:
space:
mode:
Diffstat (limited to 'src/ide.js')
-rw-r--r--src/ide.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ide.js b/src/ide.js
index a2ccbe3..e6a45c2 100644
--- a/src/ide.js
+++ b/src/ide.js
@@ -22,7 +22,7 @@ const dargs = require('./dargs');
22 22
23const compile = require('./compile'); 23const compile = require('./compile');
24 24
25const PsModuleMap = require('./PsModuleMap'); 25const PsModuleMap = require('./purs-module-map');
26 26
27function UnknownModuleError() { 27function UnknownModuleError() {
28 this.name = 'UnknownModuleError'; 28 this.name = 'UnknownModuleError';