aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/Dimacs.h
diff options
context:
space:
mode:
authorTim 'mithro' Ansell <mithro@mithis.com>2017-11-24 15:30:55 +1100
committerTim 'mithro' Ansell <mithro@mithis.com>2017-11-25 19:48:26 -0800
commit8d48b47450f5e62a7db1766da57d5736872077a9 (patch)
treebf65c662a7300bf2dae7832d55f31b7a30a2bc58 /libs/minisat/Dimacs.h
parent04802e93e857a227b48479abd7970cb4152f496b (diff)
downloadyosys-8d48b47450f5e62a7db1766da57d5736872077a9.tar.gz
yosys-8d48b47450f5e62a7db1766da57d5736872077a9.tar.bz2
yosys-8d48b47450f5e62a7db1766da57d5736872077a9.zip
minisat: Remove template with gzFile specialization.
All the other gzFile functions have been removed but this template was still left around.
Diffstat (limited to 'libs/minisat/Dimacs.h')
-rw-r--r--libs/minisat/Dimacs.h8
1 files changed, 4 insertions, 4 deletions
diff --git a/libs/minisat/Dimacs.h b/libs/minisat/Dimacs.h
index ccfa1c013..61b9d3ca0 100644
--- a/libs/minisat/Dimacs.h
+++ b/libs/minisat/Dimacs.h
@@ -76,10 +76,10 @@ static void parse_DIMACS_main(B& in, Solver& S, bool strictp = false) {
// Inserts problem into solver.
//
-template<class Solver>
-static void parse_DIMACS(gzFile input_stream, Solver& S, bool strictp = false) {
- StreamBuffer in(input_stream);
- parse_DIMACS_main(in, S, strictp); }
+//template<class Solver>
+//static void parse_DIMACS(gzFile input_stream, Solver& S, bool strictp = false) {
+// StreamBuffer in(input_stream);
+// parse_DIMACS_main(in, S, strictp); }
//=================================================================================================
}