diff options
Diffstat (limited to 'src/solverwindow.h')
| -rw-r--r-- | src/solverwindow.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/solverwindow.h b/src/solverwindow.h index 27e2114..17cb55c 100644 --- a/src/solverwindow.h +++ b/src/solverwindow.h @@ -21,6 +21,7 @@ public slots: void saveas(); void revert(); void solve(); + void search(); void step(); void step_constraints(); void step_coverage(); |