From 962f8d5252b3f5ec4d19e0cd2a430934bd55cc6d Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sun, 28 Jun 2015 01:44:30 +0100 Subject: Normalise line endings using a .gitattributes file. Unfortunately this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored. --- Test/test1/AssumptionVariables1.bpl.expect | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Test/test1/AssumptionVariables1.bpl.expect') diff --git a/Test/test1/AssumptionVariables1.bpl.expect b/Test/test1/AssumptionVariables1.bpl.expect index 9e894bf9..badc18b3 100644 --- a/Test/test1/AssumptionVariables1.bpl.expect +++ b/Test/test1/AssumptionVariables1.bpl.expect @@ -1,2 +1,2 @@ -AssumptionVariables1.bpl(5,22): Error: assumption variable must be of type 'bool' -1 type checking errors detected in AssumptionVariables1.bpl +AssumptionVariables1.bpl(5,22): Error: assumption variable must be of type 'bool' +1 type checking errors detected in AssumptionVariables1.bpl -- cgit v1.2.3