From 5673ec046bde06cfd4aa2e70d1318fe40c84e4d4 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Thu, 26 Mar 2020 16:43:08 -0400 Subject: [PATCH] qe_term_graph fix for #3526 --- src/qe/qe_term_graph.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/qe/qe_term_graph.cpp b/src/qe/qe_term_graph.cpp index 744219d47..a0793025c 100644 --- a/src/qe/qe_term_graph.cpp +++ b/src/qe/qe_term_graph.cpp @@ -511,7 +511,7 @@ namespace qe { } unsigned sz1 = get_num_exprs(t1.get_expr()); - unsigned sz2 = get_num_exprs(t1.get_expr()); + unsigned sz2 = get_num_exprs(t2.get_expr()); return sz1 < sz2; }