From e12110637730d067c216abcc86185b761189b342 Mon Sep 17 00:00:00 2001
From: vblot <24938579+vblot@users.noreply.github.com>
Date: Fri, 28 May 2021 18:29:37 +0200
Subject: getting rid of native-coq (#95)

---
 .../standard/smtcoq_plugin_standard.mlpack         | 52 ----------------------
 1 file changed, 52 deletions(-)
 delete mode 100644 src/versions/standard/smtcoq_plugin_standard.mlpack

(limited to 'src/versions/standard/smtcoq_plugin_standard.mlpack')

diff --git a/src/versions/standard/smtcoq_plugin_standard.mlpack b/src/versions/standard/smtcoq_plugin_standard.mlpack
deleted file mode 100644
index f210db1..0000000
--- a/src/versions/standard/smtcoq_plugin_standard.mlpack
+++ /dev/null
@@ -1,52 +0,0 @@
-Structures
-
-SmtMisc
-CoqTerms
-SmtBtype
-SmtForm
-SmtCertif
-SmtTrace
-SmtCnf
-SatAtom
-SmtAtom
-SmtMaps
-
-SatParser
-ZchaffParser
-CnfParser
-Zchaff
-
-Smtlib2_util
-Smtlib2_ast
-Smtlib2_parse
-Smtlib2_lex
-SExpr
-SExprParser
-SExprLexer
-Smtlib2_solver
-
-Lia
-
-VeritSyntax
-VeritParser
-VeritLexer
-
-Shashcons
-Hstring
-Type
-Ast
-Builtin
-Tosmtcoq
-Converter
-LfscParser
-LfscLexer
-
-Smtlib2_genConstr
-
-SmtCommands
-
-Verit
-
-Lfsc
-
-G_smtcoq
-- 
cgit