Update cakeml to latest state, remove unsued print

16e2b87a · Heiko Becker · 59cc4e2b · 0f9a84cd · 16e2b87a
Commit 16e2b87a authored Oct 02, 2017 by Heiko Becker
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 2 deletions

hol4/cakeml hol4/cakeml +1 -1

src/main/scala/daisy/backend/CertificatePhase.scala src/main/scala/daisy/backend/CertificatePhase.scala +0 -1

No files found.
--- a/cakeml @ 0f9a84cd
+++ b/cakeml @ 0f9a84cd
-Subproject commit 9f7a2e8b53e4f091ae49340aed425376ed30ae26
+Subproject commit 0f9a84cd5d6459117a10d5c60ced075cf312471b
--- a/src/main/scala/daisy/backend/CertificatePhase.scala
+++ b/src/main/scala/daisy/backend/CertificatePhase.scala
@@ -395,7 +395,6 @@ object CertificatePhase extends DaisyPhase {
  }

  private def getCmd(e: Expr, precisions: Map[Identifier, Precision], constPrecision: Precision, prv: String): (String, String) = {
-    reporter.info(s"$e\n")
    e match {
      case e @ Let(x, exp, g) =>
        //first compute expression AST