fix test

Daniel Kroening · Daniel Kroening · commit 518124c4c296 · 2016-08-22T16:14:52.000+01:00
diff --git a/regression/cbmc-java/monitorenter1/test.desc b/regression/cbmc-java/monitorenter1/test.desc
@@ -1,5 +1,5 @@
 CORE
-virtual1.class
+monitorenter1.class
 --function monitorenter1.test
 ^EXIT=0$
 ^SIGNAL=0$
