Boogie: Fixed a few line endings

4 files changed, 12 insertions, 12 deletions

diff --git a/Source/VCExpr/Boogie2VCExpr.ssc b/Source/VCExpr/Boogie2VCExpr.ssc
index 29370f69..4e848c82 100644
--- a/Source/VCExpr/Boogie2VCExpr.ssc
+++ b/Source/VCExpr/Boogie2VCExpr.ssc
@@ -123,11 +123,11 @@ namespace Microsoft.Boogie.VCExprAST
       }

 

       public void PushScope() {

-        Mapping.Add(new Dictionary<VarKind!, VCExprVar!> ());
+        Mapping.Add(new Dictionary<VarKind!, VCExprVar!> ());

       }

 

       public void PopScope() {

-        assume Mapping.Count > 0;
+        assume Mapping.Count > 0;

         Mapping.RemoveAt(Mapping.Count - 1);

       }

       

@@ -266,7 +266,7 @@ namespace Microsoft.Boogie.VCExprAST
     public override Expr! VisitIdentifierExpr(IdentifierExpr! node) {

       assume node.Decl != null;   // the expression has to be resolved

       Push(LookupVariable(node.Decl));

-      return node;
+      return node;

     }

 

     ///////////////////////////////////////////////////////////////////////////////////

@@ -328,13 +328,13 @@ namespace Microsoft.Boogie.VCExprAST
     public override ExistsExpr! VisitExistsExpr(ExistsExpr! node)

     {

       node = (ExistsExpr) this.VisitQuantifierExpr(node);

-      return node;
+      return node;

     }

 

     public override ForallExpr! VisitForallExpr(ForallExpr! node)

     {

       node = (ForallExpr) this.VisitQuantifierExpr(node);

-      return node;
+      return node;

     }

 

     private VCExpr! TranslateQuantifierExpr(QuantifierExpr! node)

diff --git a/Source/VCExpr/TypeErasurePremisses.ssc b/Source/VCExpr/TypeErasurePremisses.ssc
index 5f9c0183..61144209 100644
--- a/Source/VCExpr/TypeErasurePremisses.ssc
+++ b/Source/VCExpr/TypeErasurePremisses.ssc
@@ -172,7 +172,7 @@ namespace Microsoft.Boogie.TypeErasure
       else

         bodyWithPremisses = Gen.AndSimp(typePremisses, body);

 

-      return Gen.Let(typeVarBindings, bodyWithPremisses);
+      return Gen.Let(typeVarBindings, bodyWithPremisses);

     }

 

 

@@ -278,7 +278,7 @@ namespace Microsoft.Boogie.TypeErasure
         }

         

         implicitParams.TrimExcess();

-        explicitParams.TrimExcess();
+        explicitParams.TrimExcess();

     }

 

     internal UntypedFunction Typed2Untyped(Function! fun) {

@@ -364,7 +364,7 @@ namespace Microsoft.Boogie.TypeErasure
       // bound term variables are replaced with bound term variables typed in

       // a simpler way

       foreach (VCExprVar! var in typedInputVars) {

-        Type! newType = TypeAfterErasure(var.Type);
+        Type! newType = TypeAfterErasure(var.Type);

         VCExprVar! newVar = Gen.Variable(var.Name, newType);

         boundVars.Add(newVar);

         bindings.VCExprVarBindings.Add(var, newVar);

@@ -396,7 +396,7 @@ namespace Microsoft.Boogie.TypeErasure
       if (CommandLineOptions.Clo.TypeEncodingMethod == CommandLineOptions.TypeEncoding.None) return;

       AddTypeAxiom(GenVarTypeAxiom(var, originalType,

                                    // we don't have any bindings available

-                                   new Dictionary<TypeVariable!, VCExpr!> ()));
+                                   new Dictionary<TypeVariable!, VCExpr!> ()));

     }

 

     public VCExpr! GenVarTypeAxiom(VCExprVar! var, Type! originalType,

diff --git a/Source/VCExpr/VCExprAST.ssc b/Source/VCExpr/VCExprAST.ssc
index 6128fa55..1a81d4a0 100644
--- a/Source/VCExpr/VCExprAST.ssc
+++ b/Source/VCExpr/VCExprAST.ssc
@@ -197,7 +197,7 @@ namespace Microsoft.Boogie
             // combine the antecedents

             e0 = And(e0, n[0]);

             e1 = n[1];

-            continue;
+            continue;

           }

         }

         break;

@@ -788,7 +788,7 @@ namespace Microsoft.Boogie.VCExprAST
     internal VCExprMultiAry(VCExprOp! op, List<VCExpr!>! arguments, List<Type!>! typeArguments)

       requires (arguments.Count > 2 || typeArguments.Count > 0);

       requires op.Arity == arguments.Count;

-      requires op.TypeParamArity == typeArguments.Count;
+      requires op.TypeParamArity == typeArguments.Count;

     {

       base(op);

       this.Arguments = arguments;

diff --git a/Source/VCExpr/VCExprASTVisitors.ssc b/Source/VCExpr/VCExprASTVisitors.ssc
index 2e3c8f8f..e1885f3a 100644
--- a/Source/VCExpr/VCExprASTVisitors.ssc
+++ b/Source/VCExpr/VCExprASTVisitors.ssc
@@ -336,7 +336,7 @@ namespace Microsoft.Boogie.VCExprAST
     

     protected override bool StandardResult(VCExpr! node, bool arg) {

       Size = Size + 1;

-      return true;
+      return true;

     }

   }