diff options
Diffstat (limited to '')
| -rw-r--r-- | src/solvers/dispatch.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/solvers/dispatch.h b/src/solvers/dispatch.h index 810247f..d484736 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 | |||
| 1 | typedef struct { | 4 | typedef struct { |
| 2 | const char *solvername; | 5 | const char *solvername; |
| 3 | const char *prefix; | 6 | const char *prefix; |
| @@ -92,3 +95,5 @@ match_solver(const char *name) | |||
| 92 | 95 | ||
| 93 | return solver_dispatchers[i]; | 96 | return solver_dispatchers[i]; |
| 94 | } | 97 | } |
| 98 | |||
| 99 | #endif /* SOLVERS_DISPATCH_H */ | ||
