From fb239effbae8c54178991211abe9ac01463e6dd8 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Wed, 1 Aug 2018 15:41:58 +0100
Subject: [PATCH] Fix jbmc-generic-symex-driven-lazy-loading test name

---
 jbmc/regression/jbmc-generics/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbmc/regression/jbmc-generics/CMakeLists.txt b/jbmc/regression/jbmc-generics/CMakeLists.txt
index fa345944621..1c5fc08cf6b 100644
--- a/jbmc/regression/jbmc-generics/CMakeLists.txt
+++ b/jbmc/regression/jbmc-generics/CMakeLists.txt
@@ -3,7 +3,7 @@ add_test_pl_tests(
 )
 
 add_test_pl_profile(
-    "jbmc-symex-driven-lazy-loading"
+    "jbmc-generics-symex-driven-lazy-loading"
     "$<TARGET_FILE:jbmc> --symex-driven-lazy-loading"
     "-C;-X;symex-driven-lazy-loading-expected-failure;-s;symex-driven-loading"
     "CORE"