diff --git a/compiler/circle-verify/CMakeLists.txt b/compiler/circle-verify/CMakeLists.txt
index 631577cdb94..cdf74cc26d6 100644
--- a/compiler/circle-verify/CMakeLists.txt
+++ b/compiler/circle-verify/CMakeLists.txt
@@ -1,14 +1,14 @@
-if(NOT TARGET mio_circle05)
-  message(STATUS "Skip circle-verify: mio_circle05 not found")
+if(NOT TARGET mio_circle06)
+  message(STATUS "Skip circle-verify: mio_circle06 not found")
   return()
-endif(NOT TARGET mio_circle05)
+endif(NOT TARGET mio_circle06)
 
 file(GLOB_RECURSE SOURCES "src/*.cpp")
 
 add_executable(circle-verify ${SOURCES})
 target_include_directories(circle-verify PRIVATE src)
 target_link_libraries(circle-verify arser)
-target_link_libraries(circle-verify mio_circle05)
+target_link_libraries(circle-verify mio_circle06)
 target_link_libraries(circle-verify safemain)
 target_link_libraries(circle-verify cwrap)
 target_link_libraries(circle-verify foder)
diff --git a/compiler/circle-verify/requires.cmake b/compiler/circle-verify/requires.cmake
index 9354afedb16..2fd44ad7582 100644
--- a/compiler/circle-verify/requires.cmake
+++ b/compiler/circle-verify/requires.cmake
@@ -1,5 +1,5 @@
 require("arser")
-require("mio-circle05")
+require("mio-circle06")
 require("safemain")
 require("cwrap")
 require("foder")