src/HOL/Tools/ATP/VampireCommunication.ML

--- a/src/HOL/Tools/ATP/VampireCommunication.ML	Thu Jul 14 19:28:20 2005 +0200
+++ b/src/HOL/Tools/ATP/VampireCommunication.ML	Thu Jul 14 19:28:21 2005 +0200
@@ -1,10 +1,11 @@
-(*  Title:      VampireCommunication.ml
+(*  Title:      VampireCommunication.ML
     ID:         $Id$
     Author:     Claire Quigley
     Copyright   2004  University of Cambridge
 *)
 
-(* FIXME proper structure definition *)
+structure VampireCommunication =
+struct
 
 (***************************************************************************)
 (*  Code to deal with the transfer of proofs from a Vampire process        *)
@@ -109,3 +110,5 @@
     else
       (Pretty.writeln (Pretty.str (concat ["vampire", thisLine])); getVampInput instr)
   end;
+
+end;