summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Checkmate50 <dgeisler50@gmail.com>2016-06-06 23:40:06 -0600
committerGravatar Checkmate50 <dgeisler50@gmail.com>2016-06-06 23:40:06 -0600
commit0c22f92b10430cd70507649b1fdae62eaffac0c9 (patch)
treee9ff604bd1dbc7134c3004e53e153f7ce2938d59
parentd652155ae013f36a1ee17653a8e458baad2d9c2c (diff)
minor changes
-rw-r--r--Binaries/Boogie.vshost.exe.manifest22
-rw-r--r--Test/floats/float1.bpl.expect4
-rw-r--r--Test/floats/float12.bpl.expect4
3 files changed, 15 insertions, 15 deletions
diff --git a/Binaries/Boogie.vshost.exe.manifest b/Binaries/Boogie.vshost.exe.manifest
index f96b1d6b..061c9ca9 100644
--- a/Binaries/Boogie.vshost.exe.manifest
+++ b/Binaries/Boogie.vshost.exe.manifest
@@ -1,11 +1,11 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0">
- <assemblyIdentity version="1.0.0.0" name="MyApplication.app"/>
- <trustInfo xmlns="urn:schemas-microsoft-com:asm.v2">
- <security>
- <requestedPrivileges xmlns="urn:schemas-microsoft-com:asm.v3">
- <requestedExecutionLevel level="asInvoker" uiAccess="false"/>
- </requestedPrivileges>
- </security>
- </trustInfo>
-</assembly>
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0">
+ <assemblyIdentity version="1.0.0.0" name="MyApplication.app"/>
+ <trustInfo xmlns="urn:schemas-microsoft-com:asm.v2">
+ <security>
+ <requestedPrivileges xmlns="urn:schemas-microsoft-com:asm.v3">
+ <requestedExecutionLevel level="asInvoker" uiAccess="false"/>
+ </requestedPrivileges>
+ </security>
+ </trustInfo>
+</assembly>
diff --git a/Test/floats/float1.bpl.expect b/Test/floats/float1.bpl.expect
index 6abb715b..37fad75c 100644
--- a/Test/floats/float1.bpl.expect
+++ b/Test/floats/float1.bpl.expect
@@ -1,2 +1,2 @@
-
-Boogie program verifier finished with 1 verified, 0 errors
+
+Boogie program verifier finished with 1 verified, 0 errors
diff --git a/Test/floats/float12.bpl.expect b/Test/floats/float12.bpl.expect
index 6abb715b..37fad75c 100644
--- a/Test/floats/float12.bpl.expect
+++ b/Test/floats/float12.bpl.expect
@@ -1,2 +1,2 @@
-
-Boogie program verifier finished with 1 verified, 0 errors
+
+Boogie program verifier finished with 1 verified, 0 errors