diff --git a/tools/divcc.cpp b/tools/divcc.cpp
index 497357cd8104737170e697e6ac81dd4a026b1b8c..e8d1363ad70d1227ea365a762404d30239af55ff 100644
--- a/tools/divcc.cpp
+++ b/tools/divcc.cpp
@@ -331,7 +331,7 @@ int main( int argc, char **argv )
             if ( po.hasVersion )
                 std::cout << "divine version: " << ui::version() << "\n";
             cc::ClangDriver drv;
-            drv.BuildCompilation( { "divcc", po.hasHelp? "--help" : "--version" } );
+            delete drv.BuildCompilation( { "divcc", po.hasHelp ? "--help" : "--version" } );
             return 0;
         }