From 669a1d63daaafdf0d3f0b76f5fe09e593d25b536 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 18 Mar 2022 16:36:16 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/transforms/dl_mk_rule_inliner.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/muz/transforms/dl_mk_rule_inliner.cpp b/src/muz/transforms/dl_mk_rule_inliner.cpp
index 8535bf1e9..99fa1d68c 100644
--- a/src/muz/transforms/dl_mk_rule_inliner.cpp
+++ b/src/muz/transforms/dl_mk_rule_inliner.cpp
@@ -438,7 +438,6 @@ namespace datalog {
                 continue;
             }
 
-            TRACE("dl", tout << pt_len
             modified = true;
 
             func_decl * pred = r->get_decl(i);