diff --git a/bindings/python/ast.cpp b/bindings/python/ast.cpp
index f4d9993a1..27561bfa6 100644
--- a/bindings/python/ast.cpp
+++ b/bindings/python/ast.cpp
@@ -179,7 +179,8 @@ void bind_ast(py::module_ &m) {
           py::arg("is_claim") = false)
       .def_property_readonly("is_claim", &kore_axiom_declaration::is_claim)
       .def("add_pattern", &kore_axiom_declaration::add_pattern)
-      .def_property_readonly("pattern", &kore_axiom_declaration::get_pattern);
+      .def_property_readonly("pattern", &kore_axiom_declaration::get_pattern)
+      .def_property_readonly("requires", &kore_axiom_declaration::get_requires);
 
   py::class_<
       kore_module_import_declaration,