diff options
Diffstat (limited to 'src/unify.cpp')
| -rw-r--r-- | src/unify.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 5d4121e..d2bd055 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -101,4 +101,3 @@ unify(const Constraints& constraints) (format("type is `%1%' but should be `%2%'") % s->str() % t->str()).str()); } } - |