Added case to avoid compilation warning

anqili426 · May 22, 2020 · bd503f1 · bd503f1
1 parent e2e75d3
commit bd503f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/scala/viper/silver/parser/FastMessage.scala b/src/main/scala/viper/silver/parser/FastMessage.scala
@@ -30,6 +30,7 @@ object FastMessage {
   def apply(label: String, pos: ViperPosition): FastMessage = {
     pos match {
       case spos: SourcePosition => FastMessage(label, spos, true)
+      case _ => sys.error("Unexpected position type.")
     }
   }
 }