1 files changed, 0 insertions, 21 deletions
diff --git a/Test/inline/test8.bpl b/Test/inline/test8.bpl
deleted file mode 100644
index 12eab481..00000000
--- a/Test/inline/test8.bpl
+++ /dev/null
@@ -1,21 +0,0 @@
-var g: int;
-
-procedure main() 
-modifies g;
-{
-  g := 0;
-  call foo();
-  assert g == 1;
-}
-
-procedure {:inline 1} foo() 
-modifies g;
-{
-  call bar();
-}
-
-procedure bar()
-modifies g;
-{
-  g := g + 1;
-}
-\ No newline at end of file