From 9b80b60bbf8bc7ec0ce8985b66399a179126882d Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Mon, 15 Jul 2019 18:52:18 +0200 Subject: 3rdparty --- src/smtlib2/smtlib2_util.mli | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 src/smtlib2/smtlib2_util.mli (limited to 'src/smtlib2/smtlib2_util.mli') 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 -- cgit