Mark test as succeeding (fixed in 4d806e4)

tautschnig · tautschnig · commit 9b4170dcb931 · 2017-04-18T11:09:12.000+01:00
diff --git a/regression/cbmc/Linking5/test.desc b/regression/cbmc/Linking5/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 link1.c
 link2.c
 ^EXIT=0$
