Remove irrelevant comments

kind2-mc · Oct 5, 2023 · b1ed16d · b1ed16d
1 parent d337058
commit b1ed16d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/tests/ounit/lustre/lustreAbstractInterpretation/subrange_bug.lus b/tests/ounit/lustre/lustreAbstractInterpretation/subrange_bug.lus
@@ -1,7 +1,6 @@
 const X: subrange [0, 2] of int;
 const O: subrange [0, 1] of int;
 const M: subrange [0, 2] of int = O + X;
---const A: int^3 = [2, 3, 4];
 node main() returns ();
 let 
   check M <= 2;

diff --git a/tests/regression/success/global_subrange_bug.lus b/tests/regression/success/global_subrange_bug.lus
@@ -1,7 +1,6 @@
 const X = 2;
 const Y: subrange [0, 4] of int = X;
 const M: subrange [0, 2] of int = Y;
---const A: int^3 = [2, 3, 4];
 node main() returns ();
 let 
   check M <= 2;