X-Git-Url: https://gerrit.o-ran-sc.org/r/gitweb?a=blobdiff_plain;f=src%2Fftacmp%2Fanalyze_fta.h;h=0d2a7e04a41cf8a52e343cb917bf9b77aa9d6a58;hb=f6f278dfd4bca7effd6f452d38ce74cf109d41f4;hp=32833c5bb47da2740aaa5898a07f42c61eb5b02f;hpb=c9783d8ea8b85d810483559e50dbf2297109e349;p=com%2Fgs-lite.git

diff --git a/src/ftacmp/analyze_fta.h b/src/ftacmp/analyze_fta.h
index 32833c5..0d2a7e0 100644
--- a/src/ftacmp/analyze_fta.h
+++ b/src/ftacmp/analyze_fta.h
@@ -90,6 +90,9 @@ public:
   }
 };
 
+//	Make visible for predicate insertion
+void make_cnf_from_pr(predicate_t *pr, std::vector<cnf_elem *> &clist);
+
 
 //		A GB variable is identified by its name and
 //		its source table variable -- so that joins can be expressed.