Skip to content

Commit 11ac215

Browse files
maksleventalmakslevental
committed
fix python bindings
1 parent 074e030 commit 11ac215

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎lib/Bindings/Python/dialects/SMTOps.td‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,6 @@
99
#ifndef BINDINGS_PYTHON_SMT_OPS
1010
#define BINDINGS_PYTHON_SMT_OPS
1111

12-
include "circt/Dialect/SMT/SMT.td"
12+
include "mlir/Dialect/SMT/IR/SMT.td"
1313

1414
#endif // BINDINGS_PYTHON_SMT_OPS

0 commit comments

Comments
 (0)