diff options
Diffstat (limited to 'src/smtlib2/smtlib2_util.mli')
| -rw-r--r-- | src/smtlib2/smtlib2_util.mli | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/smtlib2/smtlib2_util.mli b/src/smtlib2/smtlib2_util.mli deleted file mode 100644 index b4e8916..0000000 --- a/src/smtlib2/smtlib2_util.mli +++ /dev/null @@ -1,26 +0,0 @@ -(**************************************************************************) -(* *) -(* SMTCoq, originally belong to The Alt-ergo theorem prover *) -(* Copyright (C) 2006-2010 *) -(* *) -(* Sylvain Conchon *) -(* Evelyne Contejean *) -(* Stephane Lescuyer *) -(* Mohamed Iguernelala *) -(* Alain Mebsout *) -(* *) -(* CNRS - INRIA - Universite Paris Sud *) -(* *) -(* This file is distributed under the terms of the CeCILL-C licence *) -(* *) -(**************************************************************************) - - -type extradata = unit -val initial_data : unit -> unit -val file : string ref -val line : int ref -type pos = int -val string_of_pos : int -> string -val cur_pd : unit -> int * unit -type pd = pos * extradata |