From a362d6840a812d79de7e8f515079b8100f0e72ff Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Mon, 22 Oct 2007 12:57:58 +0000
Subject: [PATCH] Forgotten ' ' before the final ';'.

---
 alliance/src/sea/src/DEF_drive.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/alliance/src/sea/src/DEF_drive.c b/alliance/src/sea/src/DEF_drive.c
index b1395c7c..e7972d1b 100644
--- a/alliance/src/sea/src/DEF_drive.c
+++ b/alliance/src/sea/src/DEF_drive.c
@@ -1,5 +1,5 @@
 /*
- *  $Id: DEF_drive.c,v 1.11 2004/09/29 21:40:46 jpc Exp $
+ *  $Id: DEF_drive.c,v 1.12 2007/10/22 12:57:58 jpc Exp $
  *
  *  /----------------------------------------------------------------\
  *  |                                                                |
@@ -1514,7 +1514,7 @@ static void  fprintNET(apLoSig, aUse)
   if (aUse != C_USE_NONE)
     fprintf(DEF_FILE, "\n      + USE %s ;\n", USEtoa(aUse));
   else
-    fprintf(DEF_FILE, ";\n");
+    fprintf(DEF_FILE, " ;\n");
 }