aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/dispatch.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2026-09-17 21:58:25 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2026-09-17 21:58:25 +0200
commitf07093968e2a5152a0e4a587e89a6582db7135e3 (patch)
tree9569a4dc4697f37acc1295cb5a515c973023dcb5 /src/solvers/dispatch.h
parent2f9d00075b0d236ecd8431761bb045e6aa088001 (diff)
parent1f7e8e937d0e71e7eb3b5deab38b34d0a0159d88 (diff)
downloadnissy-core-f07093968e2a5152a0e4a587e89a6582db7135e3.tar.gz
nissy-core-f07093968e2a5152a0e4a587e89a6582db7135e3.zip
Merge branch 'master' into twostep-solver
Diffstat (limited to 'src/solvers/dispatch.h')
-rw-r--r--src/solvers/dispatch.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/solvers/dispatch.h b/src/solvers/dispatch.h
index f6d2bee..89a0771 100644
--- a/src/solvers/dispatch.h
+++ b/src/solvers/dispatch.h
@@ -1,3 +1,6 @@
1#ifndef SOLVERS_DISPATCH_H
2#define SOLVERS_DISPATCH_H
3
1typedef struct { 4typedef struct {
2 const char *solvername; 5 const char *solvername;
3 const char *prefix; 6 const char *prefix;
@@ -100,3 +103,5 @@ match_solver(const char *name)
100 103
101 return solver_dispatchers[i]; 104 return solver_dispatchers[i];
102} 105}
106
107#endif /* SOLVERS_DISPATCH_H */

Generated with cgit - Back to sebastiano.tronto.net