bug correction for exculsion_constants

2011-08-01 10:50:07 +02:00 · 2011-08-01 10:50:07 +02:00 · 7e20a92e70
parent 6d549cc66f
commit 7e20a92e70
1 changed files with 0 additions and 8 deletions
--- a/ComputingTasks.cc
+++ b/ComputingTasks.cc
@ -1269,14 +1269,6 @@ SvarIdentificationStatement::writeOutput(ostream &output, const string &basename
                }
            }
        }
-      if (constants_exclusion_present)
-	{
-	  for (unsigned int h = 0; h < n; h++)
-	    {
-	      output << "options_.ms.Ri(" << rows[h] << ", " << m << ", " << h+1 << ") = 1;" << endl; 
-	      rows[h]++;
-	    }
-	}
    }
 }