remove unused header

fcharlie · fcharlie · commit 7c1b95a472de · 2020-09-05T16:33:27.000+08:00
diff --git a/Privexec/app.cc b/Privexec/app.cc
@@ -12,7 +12,6 @@
 #include <bela/env.hpp>
 #include <bela/simulator.hpp>
 #include <bela/picker.hpp>
-#include <bela/process.hpp>
 #include <exec.hpp>
 #include "resource.h"
 
