From d6c7967cfc7a9f8530f0de50f12f99bfc5f93da7 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Wed, 27 Jun 2018 14:12:17 -0500 Subject: Synthesize candidate-rewrites from standard inputs (#1918) --- src/Makefile.am | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Makefile.am') diff --git a/src/Makefile.am b/src/Makefile.am index b36c453e1..b81d93081 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -86,6 +86,8 @@ libcvc4_la_SOURCES = \ preprocessing/passes/symmetry_breaker.h \ preprocessing/passes/symmetry_detect.cpp \ preprocessing/passes/symmetry_detect.h \ + preprocessing/passes/synth_rew_rules.cpp \ + preprocessing/passes/synth_rew_rules.h \ preprocessing/preprocessing_pass.cpp \ preprocessing/preprocessing_pass.h \ preprocessing/preprocessing_pass_context.cpp \ -- cgit v1.2.3