diff -urpN a/drat-trim.c b/drat-trim.c
--- a/drat-trim.c 2023-07-09 14:31:06.000000000 -0600
+++ b/drat-trim.c 2023-07-13 14:37:45.072511922 -0600
@@ -61,7 +61,7 @@ struct solver { FILE *inputFile, *proofF
nLemmas, maxRAT, *preRAT, maxDependencies, nDependencies, bar, backforce, reduce,
*dependencies, maxVar, maxSize, mode, verb, unitSize, unitStackSize, prep, *current, nRemoved, warning,
delProof, *setMap, *setTruth, rupOnly;
- char *coreStr, *lemmaStr;
+ const char *coreStr, *lemmaStr;
struct timeval start_time;
long mem_used, time, nClauses, nStep, nOpt, nAlloc, *unitStack, *reason, lemmas, nResolve, *RATset,
nReads, nWrites, lratSize, lratAlloc, *lratLookup, **wlist, *optproof, *formula, *proof; };
@@ -1357,7 +1357,7 @@ void printHelp ( ) {
printf (" PROOF proof file in DRAT format (stdin if no argument)\n\n");
exit (0); }
-int main (int argc, char** argv) {
+int run_drat_trim (int argc, const char** argv) {
struct solver S;
S.inputFile = NULL;
diff -urpN a/drat-trim.h b/drat-trim.h
--- a/drat-trim.h 2023-07-13 14:37:08.747000615 -0600
+++ b/drat-trim.h 2021-06-21 06:53:06.281589044 -0600
@@ -0,0 +1,3 @@
+#pragma once
+
+extern int run_drat_trim (int argc, const char **argv);
diff -urpN a/drat-trim-main.c b/drat-trim-main.c
--- a/drat-trim-main.c 2023-07-13 14:37:08.747000615 -0600
+++ b/drat-trim-main.c 2021-06-21 06:53:06.295830186 -0600
@@ -0,0 +1,6 @@
+#include "drat-trim.h"
+
+int main (int argc, char *argv[])
+{
+ return run_drat_trim (argc, (const char **)argv);
+}