Merging complete. Everything looks good *crosses fingers*

1 files changed, 13 insertions, 13 deletions

diff --git a/Test/datatypes/ex.bpl b/Test/datatypes/ex.bpl
index e7a0e694..753d8801 100644
--- a/Test/datatypes/ex.bpl
+++ b/Test/datatypes/ex.bpl
@@ -1,13 +1,13 @@
-// RUN: %boogie -typeEncoding:m "%s" > "%t"

-// RUN: %diff "%s.expect" "%t"

-type{:datatype} finite_map;

-function{:constructor} finite_map(dom:[int]bool, map:[int]int):finite_map;

-

-type{:datatype} partition;

-function{:constructor} partition(owners:[int]int, vars:[int]finite_map):partition;

-

-procedure P(arr:finite_map)

-  requires dom#finite_map(arr)[0];

-  ensures  dom#finite_map(arr)[0];

-{

-}

+// RUN: %boogie -typeEncoding:m "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+type{:datatype} finite_map;
+function{:constructor} finite_map(dom:[int]bool, map:[int]int):finite_map;
+
+type{:datatype} partition;
+function{:constructor} partition(owners:[int]int, vars:[int]finite_map):partition;
+
+procedure P(arr:finite_map)
+  requires dom#finite_map(arr)[0];
+  ensures  dom#finite_map(arr)[0];
+{
+}