mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-04 03:53:56 +00:00
13 lines
240 B
Diff
13 lines
240 B
Diff
|
diff --git a/sat_solver.cpp b/sat_solver.cpp
|
||
|
|
index e191881..07c0926 100644
|
||
|
|
--- a/sat_solver.cpp
|
||
|
|
+++ b/sat_solver2.cpp
|
||
|
|
@@ -43,6 +43,7 @@
|
||
|
|
#include <vector>
|
||
|
|
#include <dirent.h>
|
||
|
|
#include "SAT.h"
|
||
|
|
+#include <cstring>
|
||
|
|
|
||
|
|
using namespace std;
|
||
|
|
|