diff --git a/configure.in b/configure.in index 0d6550cc28580b3397303229c0c716a4c06bfc2e..af127c049eea1c66d8954debdcf8efde24d32760 100644 --- a/configure.in +++ b/configure.in @@ -832,6 +832,7 @@ plugin_require(slicing,from_analysis) plugin_require(slicing,pdg) plugin_require(slicing,eva) plugin_require(slicing,callgraph) +plugin_require(slicing,sparecode) plugin_use(slicing,gui) # spare code