There was an error while loading. Please reload this page.
2 parents 1ad1823 + 6da1aac commit 4d0dd31Copy full SHA for 4d0dd31
1 file changed
src/ast/transform/InsertLatticeOperations.h
@@ -31,7 +31,7 @@ namespace souffle::ast::transform {
31
class LatticeTransformer : public Transformer {
32
public:
33
std::string getName() const override {
34
- return "InlineRelationsTransformer";
+ return "LatticeTransformer";
35
}
36
37
private:
0 commit comments