diff --git a/configure.in b/configure.in index 1b8b1e46225883de6a687ee25a23e2d15c7c4d83..1e63553354a6e491f62b60455f4d02c869108043 100644 --- a/configure.in +++ b/configure.in @@ -766,7 +766,7 @@ plugin_use_external(gui,dot) check_plugin(impact,src/plugins/impact,[support for impact plugin],yes) plugin_use(impact,gui) -plugin_use(impact,slicing) +plugin_require(impact,slicing) plugin_require(impact,pdg) plugin_require(impact,eva) plugin_require(impact,inout)