diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc
index 910e392..a17adaa 100644
--- a/src/analysis/typepal/Collector.rsc
+++ b/src/analysis/typepal/Collector.rsc
@@ -963,7 +963,7 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co
         map[loc,loc] my_physical2logical = ();
         try {
             my_physical2logical = invertUnique(logical2physical);
-        } catch MultipleKey(value key, value first, value second):{
+        } catch MultipleKey(value key, value _first, value _second):{
             where = loc l := key ? l : |unknown:///|;
             messages += error("Mapping from physical to logical locations is not unique; remove outdated information and try again", where);
             return ();
diff --git a/src/analysis/typepal/TypePal.rsc b/src/analysis/typepal/TypePal.rsc
index 26d415f..5240008 100644
--- a/src/analysis/typepal/TypePal.rsc
+++ b/src/analysis/typepal/TypePal.rsc
@@ -21,7 +21,7 @@ import ParseTree;
 import Message;
 
 extend analysis::typepal::Solver;
-extend analysis::typepal::Version;
+//extend analysis::typepal::Version;
 
 // collectAndSolve shorthand for a common, simple, scenario