updated annotation, since Carbon issue 6 is fixed

viperproject · Jan 9, 2014 · 332e7fe · 332e7fe
1 parent 98267a5
commit 332e7fe
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/test/resources/all/issues/silicon/0043.sil b/src/test/resources/all/issues/silicon/0043.sil
@@ -1,5 +1,3 @@
-//:: IgnoreFile(/carbon/issue/6/)
-
 method checkGcd(left: Int, right: Int)
   requires left >= 0 && right >= 0
   ensures right == 0 || (left % right >= 0)