diff options
author | David Robillard <d@drobilla.net> | 2009-06-20 21:29:19 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2009-06-20 21:29:19 +0000 |
commit | bd935db56f35d035c5c73514941c47e0e66f2fc9 (patch) | |
tree | 1d6ac83ba9075161ddcdd14567e4c271c4b2caff /typing.cpp | |
parent | 29e8db3d7c260d43d3721faea145cec1fbbf4144 (diff) | |
download | resp-bd935db56f35d035c5c73514941c47e0e66f2fc9.tar.gz resp-bd935db56f35d035c5c73514941c47e0e66f2fc9.tar.bz2 resp-bd935db56f35d035c5c73514941c47e0e66f2fc9.zip |
Tidy.
git-svn-id: http://svn.drobilla.net/resp/tuplr@143 ad02d1e2-f140-0410-9f75-f8b11f17cedd
Diffstat (limited to 'typing.cpp')
-rw-r--r-- | typing.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -25,6 +25,7 @@ Constraints::constrain(TEnv& tenv, const AST* o, AType* t) push_back(Constraint(tenv.var(o), t, o->loc)); } + /*************************************************************************** * AST Type Constraints * ***************************************************************************/ @@ -244,7 +245,6 @@ substitute(ATuple* tup, const AST* from, AST* to) substitute(tup->at(i)->to<ATuple*>(), from, to); } - Subst Subst::compose(const Subst& delta, const Subst& gamma) // TAPL 22.1.1 { |