test jbmc\tableswitch2 now works on Windows

diffblue · Jun 30, 2018 · feb6c7d · feb6c7d
1 parent 9c151c3
commit feb6c7d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/appveyor.yml b/appveyor.yml
@@ -90,7 +90,6 @@ test_script:
     rmdir /s /q jbmc\VarLengthArrayTrace1
     rmdir /s /q jbmc\classpath1
     rmdir /s /q jbmc\jar-file3
-    rmdir /s /q jbmc\tableswitch2
     cd ../..
 
     make -C jbmc/regression test