diff options
Diffstat (limited to 'src/ide.js')
-rw-r--r-- | src/ide.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,7 +22,7 @@ const dargs = require('./dargs'); | |||
22 | 22 | ||
23 | const compile = require('./compile'); | 23 | const compile = require('./compile'); |
24 | 24 | ||
25 | const PsModuleMap = require('./PsModuleMap'); | 25 | const PsModuleMap = require('./purs-module-map'); |
26 | 26 | ||
27 | function UnknownModuleError() { | 27 | function UnknownModuleError() { |
28 | this.name = 'UnknownModuleError'; | 28 | this.name = 'UnknownModuleError'; |