Rakefile in noam_lemma-0.2.1.1 vs Rakefile in noam_lemma-0.2.1.2

@@ -7,5 +7,7 @@
 
 desc "perform verification tests"
 task :verify do
   Noam::LemmaVerification.run
 end
+
+task :default => :spec