From 57edb0b2d451dbefbb7c138496b92d4d5de62d04 Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Wed, 28 Mar 2018 20:36:04 +0000
Subject: sat.h: update to include satget

---
 sys/include/sat.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/include/sat.h b/sys/include/sat.h
index 0fd84fcd3..6251b43ae 100644
--- a/sys/include/sat.h
+++ b/sys/include/sat.h
@@ -105,4 +105,4 @@ int satmore(SATSolve *);
 int satval(SATSolve *, int);
 void satfree(SATSolve *);
 void satreset(SATSolve *);
-
+int satget(SATSolve *, int, int *, int);
-- 
cgit v1.2.3