Index: src/AST/Decl.hpp
===================================================================
--- src/AST/Decl.hpp	(revision 4702a2cac45f6559d5d3404ee4ce0c09192620f3)
+++ src/AST/Decl.hpp	(revision 0292aa47c03401bae026232cc6e6461d5ae6b094)
@@ -75,11 +75,4 @@
 	int scopeLevel = 0;
 
-	/*
-	ForallDecl foralls {
-		list<TypeDecl> params
-		list<ObjectDecl> assns
-	}
-	*/
-
 	std::vector<ptr<Attribute>> attributes;
 	Function::Specs funcSpec;
Index: src/AST/Type.hpp
===================================================================
--- src/AST/Type.hpp	(revision 4702a2cac45f6559d5d3404ee4ce0c09192620f3)
+++ src/AST/Type.hpp	(revision 0292aa47c03401bae026232cc6e6461d5ae6b094)
@@ -274,10 +274,6 @@
 public:
 	using ForallList = std::vector<ptr<TypeDecl>>;
-	// using ForallList = std::vector<readonly<TypeDecl>>;
-
-	// using ForallList = std::vector<ptr<TypeInstType>>;
+
 	ForallList forall;
-	// using AssertionList = std::vector<ptr<VariableExpr>>;
-	// AssertionList assertions;
 
 	ParameterizedType( ForallList&& fs = {}, CV::Qualifiers q = {},
@@ -427,5 +423,4 @@
 public:
 	readonly<TypeDecl> base;
-	// int context;
 	TypeDecl::Kind kind;
 
@@ -544,10 +539,8 @@
 }
 
-
 #undef MUTATE_FRIEND
 
 // Local Variables: //
 // tab-width: 4 //
-
 // mode: c++ //
 // compile-command: "make install" //
Index: src/ResolvExpr/CandidateFinder.cpp
===================================================================
--- src/ResolvExpr/CandidateFinder.cpp	(revision 4702a2cac45f6559d5d3404ee4ce0c09192620f3)
+++ src/ResolvExpr/CandidateFinder.cpp	(revision 0292aa47c03401bae026232cc6e6461d5ae6b094)
@@ -1595,5 +1595,5 @@
 					// unification run for side-effects
 					bool canUnify = unify( toType, cand->expr->result, env, need, have, open, symtab );
-                    (void) canUnify;
+					(void) canUnify;
 					Cost thisCost = computeConversionCost( cand->expr->result, toType, cand->expr->get_lvalue(),
 						symtab, env );