From cda78d8d0b0cc8c3f51d7dbd587e6dd93a584940 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 30 Jan 2019 09:34:45 -0800 Subject: [PATCH] #2117 Signed-off-by: Nikolaj Bjorner --- src/test/matcher.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/matcher.cpp b/src/test/matcher.cpp index cd220a9c6..68f37ccb6 100644 --- a/src/test/matcher.cpp +++ b/src/test/matcher.cpp @@ -84,7 +84,7 @@ void tst1() { app_ref b( m.mk_const(symbol("b"), s), m); expr_ref x( m.mk_var(0, s), m); expr_ref y( m.mk_var(1, s), m); - app_ref gx( m.mk_app(g, x), m); + app_ref gx( m.mk_app(g.get(), x.get()), m); app_ref fgx_x( m.mk_app(f, gx.get(), x.get()), m); app_ref ha( m.mk_app(h, a.get()), m); app_ref gha( m.mk_app(g, ha.get()), m);