Skip to content

Commit 88ca18a

Browse files
committed
clear kwparam cache when reloading
1 parent 85e1870 commit 88ca18a

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎src/org/rascalmpl/interpreter/env/ModuleEnvironment.java‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -390,10 +390,12 @@ public void unImport(String moduleName) {
390390
typeStore.unimportStores(new TypeStore[] { old.getStore() });
391391
}
392392
}
393+
cachedGeneralKeywordParameters = null;
393394
}
394395

395396
public void unExtend(String moduleName) {
396397
extended.remove(moduleName);
398+
cachedGeneralKeywordParameters = null;
397399
}
398400

399401
@Override

0 commit comments

Comments
 (0)