From feb6c7d6229e8976379db26cae8b70994a05cee2 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Sat, 30 Jun 2018 11:23:04 +0100
Subject: [PATCH] test jbmc\tableswitch2 now works on Windows

---
 appveyor.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/appveyor.yml b/appveyor.yml
index f17933269bbc..30cf9bb5d896 100644
--- 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