fix bug where int8 would be parsed as named operand (#443)

* fix bug where int8 would be parsed as named operand * bug fix of the bug fix
viperproject · May 2, 2022 · 029a763 · 029a763
1 parent 8139166
commit 029a763
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/scala/viper/gobra/frontend/ParseTreeTranslator.scala b/src/main/scala/viper/gobra/frontend/ParseTreeTranslator.scala
@@ -235,6 +235,7 @@ class ParseTreeTranslator(pom: PositionManager, source: Source, specOnly : Boole
     typ.name match {
       case "perm" => PPermissionType().at(typ)
       case "int" => PIntType().at(typ)
+      case "int8" => PInt8Type().at(typ)
       case "int16" => PInt16Type().at(typ)
       case "int32" => PInt32Type().at(typ)
       case "int64" => PInt64Type().at(typ)