diff options
Diffstat (limited to 'src/options/ufss_mode.h')
| -rw-r--r-- | src/options/ufss_mode.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/options/ufss_mode.h b/src/options/ufss_mode.h index 25eb1d2d7..6ce05d46a 100644 --- a/src/options/ufss_mode.h +++ b/src/options/ufss_mode.h @@ -22,7 +22,7 @@ namespace CVC4 { namespace theory { namespace uf { - + enum UfssMode{ /** default, use uf strong solver to find minimal models for uninterpreted sorts */ UF_SS_FULL, @@ -37,4 +37,3 @@ enum UfssMode{ }/* CVC4 namespace */ #endif /* __CVC4__BASE__UFSS_MODE_H */ - |