Boogie: new syntax for integer division and modulus: use div and mod instead of / and %

1 files changed, 1 insertions, 1 deletions

diff --git a/Test/livevars/daytona_bug2_ioctl_example_2.bpl b/Test/livevars/daytona_bug2_ioctl_example_2.bpl
index 0b49364b..44e51827 100644
--- a/Test/livevars/daytona_bug2_ioctl_example_2.bpl
+++ b/Test/livevars/daytona_bug2_ioctl_example_2.bpl
@@ -521,7 +521,7 @@ function {:inline true} INT_NEQ(x:int, y:int)  returns  (bool)   {x != y}
 function {:inline true} INT_ADD(x:int, y:int)  returns  (int)   {x + y}

 function {:inline true} INT_SUB(x:int, y:int)  returns  (int)   {x - y}

 function {:inline true} INT_MULT(x:int, y:int) returns  (int)   {x * y}

-function {:inline true} INT_DIV(x:int, y:int)  returns  (int)   {x / y}

+function {:inline true} INT_DIV(x:int, y:int)  returns  (int)   {x div y}

 function {:inline true} INT_LT(x:int, y:int)   returns  (bool)  {x < y}

 function {:inline true} INT_ULT(x:int, y:int)   returns  (bool)  {x < y}

 function {:inline true} INT_LEQ(x:int, y:int)  returns  (bool)  {x <= y}