From cf15218eea96f0cff8d9483e9998760c43ca8270 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 25 Aug 2016 10:45:08 -0700 Subject: [PATCH] chore(library/equations_compiler/compiler): add new trace option --- src/library/equations_compiler/compiler.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/library/equations_compiler/compiler.cpp b/src/library/equations_compiler/compiler.cpp index dfa76acafa..69d34b658a 100644 --- a/src/library/equations_compiler/compiler.cpp +++ b/src/library/equations_compiler/compiler.cpp @@ -47,6 +47,7 @@ expr compile_equations(environment & env, options const & opts, metavar_context void initialize_compiler() { register_trace_class("eqn_compiler"); + register_trace_class(name{"debug", "eqn_compiler"}); } void finalize_compiler() { }