From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001 From: Checkmate50 Date: Mon, 6 Jun 2016 23:14:18 -0600 Subject: Merging complete. Everything looks good *crosses fingers* --- Test/test0/Types1.bpl | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'Test/test0/Types1.bpl') diff --git a/Test/test0/Types1.bpl b/Test/test0/Types1.bpl index 75bb6178..2580fe40 100644 --- a/Test/test0/Types1.bpl +++ b/Test/test0/Types1.bpl @@ -1,9 +1,9 @@ -// RUN: %boogie -noVerify "%s" > "%t" -// RUN: %diff "%s.expect" "%t" -type T, U; -type V; - -function h(T) returns (int); -function k(x:T) returns (int); -function l(x) returns (int); // resolve error -function m(x, x) returns (bool); // resolve error +// RUN: %boogie -noVerify "%s" > "%t" +// RUN: %diff "%s.expect" "%t" +type T, U; +type V; + +function h(T) returns (int); +function k(x:T) returns (int); +function l(x) returns (int); // resolve error +function m(x, x) returns (bool); // resolve error -- cgit v1.2.3