1 files changed, 1 insertions, 1 deletions
diff --git a/typing.cpp b/typing.cpp
index 189ddf4..c9eeb6d 100644
--- a/typing.cpp
+++ b/typing.cpp
@@ -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
 {