Remove useless header

mamba-org · Sep 25, 2023 · fdbb8f4 · fdbb8f4
1 parent 0aafc03
commit fdbb8f4
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/micromamba/src/main.cpp b/micromamba/src/main.cpp
@@ -21,7 +21,6 @@
 #include "mamba/core/output.hpp"
 #include "mamba/core/thread_utils.hpp"
 #include "mamba/core/util_os.hpp"
-#include "mamba/core/util_scope.hpp"
 #include "mamba/version.hpp"
 
 #include "umamba.hpp"