Update util.gobra

viperproject · Jul 8, 2024 · 462be80 · 462be80
1 parent 03c1a40
commit 462be80
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/util/util.gobra b/util/util.gobra
@@ -16,21 +16,13 @@ package util
 
 type Unit struct{}
 
-// Useful for marking functions as never called, by putting it in the precondition
-const Uncallable bool = false
-
 ghost
 requires false
 decreases
 pure func Unreachable() Unit {
 	return Unit{}
 }
 
-ghost
-ensures false
-decreases
-func IgnoreBranch()
-
 ghost
 ensures false
 decreases