--- 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;