X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=play.c;fp=play.c;h=7b8192d46172a73b33869603630b2b02a4f28bf8;hp=56838e822112c422ff3ec78da25d0d7b7dcaf033;hb=be456db9084227c3d97f227332d097245a652ba8;hpb=5d57280b362dd9f002e5a7041d33a9af5fc13ce7

diff --git a/play.c b/play.c
index 56838e82..7b8192d4 100644
--- a/play.c
+++ b/play.c
@@ -8,7 +8,6 @@
 
 #include <regex.h>
 #include <signal.h>
-#include <inttypes.h>
 #include <lopsub.h>
 
 #include "recv_cmd.lsg.h"