Make non-existing opton in settings file non-fatal

[xboard.git] / history.c

diff --git a/history.c b/history.c
index 109c9fb..6773133 100644 (file)
--- a/history.c
+++ b/history.c
@@ -28,7 +28,6 @@
 
 #include <stdio.h>
 #include <stdlib.h>
-#include <malloc.h>
 #include <string.h>
 
 #include "common.h"