* commands.c: [SV 40789] Remove unneeded header dlfcn.h

diff --git a/commands.c b/commands.c
index 7c7eabfdaf73f3363c813359c8f2748ddbe1a183..0dbb99c01fde04e1d07e508c297d9fd53d7405ea 100644 (file)
--- a/commands.c
+++ b/commands.c
@@ -14,8 +14,6 @@ A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 You should have received a copy of the GNU General Public License along with
 this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
-#include <dlfcn.h>
-
 #include "makeint.h"
 #include "filedef.h"
 #include "dep.h"