Change ??? to ""

utwente-fmt · Oct 12, 2023 · 333657b · 333657b
1 parent 8e2706a
commit 333657b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/col/vct/col/resolve/ctx/Referrable.scala b/src/col/vct/col/resolve/ctx/Referrable.scala
@@ -71,15 +71,15 @@ sealed trait Referrable[G] {
     case RefLlvmGlobal(decl) => Referrable.originName(decl)
     case RefLlvmSpecFunction(decl) => Referrable.originName(decl)
     case RefBipComponent(decl) => Referrable.originName(decl)
-    case RefBipGlue(decl) => ???
+    case RefBipGlue(decl) => ""
     case RefBipGuard(decl) => Referrable.originName(decl)
     case RefBipIncomingData(decl) => Referrable.originName(decl)
     case RefBipOutgoingData(decl) => Referrable.originName(decl)
     case RefBipPort(decl) => Referrable.originName(decl)
-    case RefBipPortSynchronization(decl) => ???
+    case RefBipPortSynchronization(decl) => ""
     case RefBipStatePredicate(decl) => Referrable.originName(decl)
     case RefBipTransition(decl) => Referrable.originName(decl)
-    case RefBipTransitionSynchronization(decl) => ???
+    case RefBipTransitionSynchronization(decl) => ""
 
     case RefJavaBipGlueContainer() => ""
     case PVLBuiltinInstanceMethod(_) => ""