* Numerous documentation fixes (fix doxygen warnings, add missing documentation, etc.).

* Remove sat_module.cpp, which was no longer used (was previously refactored?)

1 files changed, 3 insertions, 3 deletions

diff --git a/src/bindings/compat/java/formula_value.h b/src/bindings/compat/java/formula_value.h
index 79f31f404..efcd32eea 100644
--- a/src/bindings/compat/java/formula_value.h
+++ b/src/bindings/compat/java/formula_value.h
@@ -1,6 +1,6 @@
 /*****************************************************************************/
 /*!
- *\file formulavalue.h
+ *\file formula_value.h
  *\brief enumerated type for value of formulas
  *
  * Author: Alexander Fuchs
@@ -13,7 +13,7 @@
  * and its documentation for any purpose is hereby granted without
  * royalty, subject to the terms and conditions defined in the \ref
  * LICENSE file provided with this distribution.
- * 
+ *
  * <hr>
  */
 /*****************************************************************************/
@@ -31,7 +31,7 @@ namespace CVC3 {
 typedef enum FormulaValue {
   TRUE_VAL,
   FALSE_VAL,
-  UNKNOWN_VAL 
+  UNKNOWN_VAL
 } FormulaValue;
 
 }