missing using for prop_convt::operator()

kroening · kroening · commit d0d8d42f9bee · 2014-05-21T11:18:03.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3863 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/solvers/prop/prop_conv.h b/src/solvers/prop/prop_conv.h
@@ -39,6 +39,8 @@ class prop_convt:public decision_proceduret
   {
     return convert(expr);
   }
+  
+  using decision_proceduret::operator();
 
   // specialised variant of get
   virtual tvt l_get(literalt a) const=0;

Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,8 @@ class prop_convt:public decision_proceduret`
`39`	`39`	`{`
`40`	`40`	`return convert(expr);`
`41`	`41`	`}`
	`42`	`+`
	`43`	`+ using decision_proceduret::operator();`
`42`	`44`
`43`	`45`	`// specialised variant of get`
`44`	`46`	`virtual tvt l_get(literalt a) const=0;`