diff options
-rw-r--r-- | commands.c | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -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" |