commit e544f5588a77a4949c7c662474a1043d9068bdf1
author John Criswell <criswell@uiuc.edu> Tue Feb 13 19:56:47 2007 +0000
committer John Criswell <criswell@uiuc.edu> Tue Feb 13 19:56:47 2007 +0000
tree 787cd648f73338f8684903a5da58ea7c7ded0f0b
parent 8329d3965daee410f1a32aecaa69eabf94f9bb73

Fix indentation.

llvm-svn: 87319

safecode/lib/ArrayBoundChecks/ArrayBoundCheck.cpp

diff --git a/safecode/lib/ArrayBoundChecks/ArrayBoundCheck.cpp b/safecode/lib/ArrayBoundChecks/ArrayBoundCheck.cpp
index 948556d..7342c53 100755
--- a/safecode/lib/ArrayBoundChecks/ArrayBoundCheck.cpp
+++ b/safecode/lib/ArrayBoundChecks/ArrayBoundCheck.cpp
@@ -768,16 +768,16 @@
       MemAccessInstListType MemAccessInstList = fMap[&F]->getMemAccessInstList();
       MemAccessInstListIt maI = MemAccessInstList.begin(), maE = MemAccessInstList.end();
       for (; maI != maE; ++maI) {
-	ABCExprTree *root = fMap[&F]->getSafetyConstraint(maI->first);
-	ABCExprTree * argConstraints = 0;
-	if (maI->second) {
-	  argConstraints = getArgumentConstraints(F);
-	}
-	if (argConstraints) {
-	  root = new ABCExprTree(root,argConstraints,"&&");
-	}
-	//omega stuff should go in here.
-	Omega(maI->first,root);
+        ABCExprTree *root = fMap[&F]->getSafetyConstraint(maI->first);
+        ABCExprTree * argConstraints = 0;
+        if (maI->second) {
+          argConstraints = getArgumentConstraints(F);
+        }
+        if (argConstraints) {
+          root = new ABCExprTree(root,argConstraints,"&&");
+        }
+        //omega stuff should go in here.
+        Omega(maI->first,root);
       }
     }
   }