diff options
Diffstat (limited to 'src/unify.cpp')
| -rw-r--r-- | src/unify.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 91d6fde..0383df0 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -15,13 +15,13 @@ * along with Tuplr. If not, see <http://www.gnu.org/licenses/>. */ +/** @file + * @brief Unify type constraints + */ + #include <set> #include "tuplr.hpp" -/*************************************************************************** - * Type Inference/Substitution * - ***************************************************************************/ - void Constraints::constrain(TEnv& tenv, const AST* o, AType* t) { |