Merge pull request hail-is#3 from tpoterba/tp-mlir-tracking

iris-garden · Nov 3, 2022 · 2f3fee1 · 2f3fee1
2 parents 4589597 + 6610435
commit 2f3fee1
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/query/include/Dialect/Sandbox/IR/Sandbox.h b/query/include/Dialect/Sandbox/IR/Sandbox.h
@@ -4,12 +4,9 @@
 
 #include "mlir/IR/Dialect.h"
 #include "mlir/IR/OpDefinition.h"
-#include "mlir/IR/OpImplementation.h"
-#include "mlir/Interfaces/CastInterfaces.h"
 #include "mlir/Interfaces/SideEffectInterfaces.h"
 
 #include "mlir/IR/BuiltinTypes.h"
-#include "mlir/IR/Builders.h"
 
 #include "Dialect/Sandbox/IR/SandboxOpsDialect.h.inc"
 #include "Dialect/Sandbox/IR/SandboxOpsEnums.h.inc"