also catch CDEMatch errors fixes #3

ucb-bar · Jun 7, 2016 · dc0537b · dc0537b
1 parent 6494194
commit dc0537b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/scala/Parameters.scala b/src/main/scala/Parameters.scala
@@ -152,6 +152,7 @@ abstract class World(
           try topDefs(pname, site, here)
           catch {
             case e:scala.MatchError => throw new ParameterUndefinedException(pname, e)
+            case e:CDEMatchError => throw new ParameterUndefinedException(pname, e)
           }
         ) match {
           case k:Knob[T @unchecked] => ExVar[T](_VarKnob[T](k.name))