Between Scylla and Charybdis

2 files changed, 2 insertions, 4 deletions

diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml
index df5598dc..30cd7071 100644
--- a/src/test/run_tests.ml
+++ b/src/test/run_tests.ml
@@ -4,6 +4,7 @@ let tests = [
   "test3", Test3.defs;
   "pattern", Pattern.defs;
   "vectors", Vectors.defs;
+  (*"power", Power.defs;*)
 ] ;;
 
 let run_all () = List.iter Run_interp.run tests ;;
diff --git a/src/test/vectors.sail b/src/test/vectors.sail
index 95b8254e..54defa08 100644
--- a/src/test/vectors.sail
+++ b/src/test/vectors.sail
@@ -5,10 +5,7 @@ function unit main _ = {
 
   i := [bitzero, bitzero, bitone, bitzero];
   i := 0b101 ;
-  (* unbound identifier *)
   i[0] := bitzero;
-  (* unbound identifier *)
+  (* XXX Vector access of non-vector *)
   v[0];
-
-
 }