Update ModuleCanonicalizer.scala

Author: polgreen

src/main/scala/uclid/lang/ModuleCanonicalizer.scala

@@ -44,8 +44,6 @@ class ModuleCanonicalizerPass extends RewritePass {
   override def rewriteModule(moduleIn : Module, ctx : Scope) : Option[Module] = {
     // Currently we only allow one init and one next block in a module.
     // we could alternatively, combine multiple init (or next) blocks into a single init (or next) block.
-    if(moduleIn.decls.filter(_.isInstanceOf[InitDecl]).map(_.asInstanceOf[InitDecl]).size > 1) {
-      throw new Exception("Module " + moduleIn.id + " has more than one init block. This is not allowed.")
     var errors: List[(String, lang.ASTPosition)] = List.empty
     val initdecls = moduleIn.decls.filter(_.isInstanceOf[InitDecl]).map(_.asInstanceOf[InitDecl])
     if(initdecls.size > 1) {