mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 19:52:31 +00:00
Code Activity

minisat: Remove template with gzFile specialization.

Browse source 
All the other gzFile functions have been removed but this template was
still left around.
This commit is contained in:
Tim 'mithro' Ansell 2017-11-24 15:30:55 +11:00
parent 04802e93e8
commit 8d48b47450
2 changed files with 21 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

17
libs/minisat/00_PATCH_remove_zlib.patch
View file

@ -36,3 +36,20 @@
int operator * () const { return (pos >= size) ? EOF : buf[pos]; }
void operator ++ () { pos++; assureLookahead(); }
--- Dimacs.h
+++ 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); }
//=================================================================================================
}