Merge branch 'maint/7.0'
[ninja.git] / src / op5 / ninja_sdk / orm / ORMPgSQLSetGenerator.php
blob65f70ca15462cb4c92cba9c161f1fd89321ed1cc
1 <?php
3 require_once("ORMSQLSetGenerator.php");
5 class ORMPgSQLSetGenerator extends ORMSQLSetGenerator {
6 /* We just need another visitor class for this */
7 protected $visitor_class = "LivestatusPgSQLBuilderVisitor";