Merge branch 'master' into harmonize-hints

runtimeverification · Apr 3, 2024 · 972e21f · 972e21f
2 parents 6c4959d + 283b97b
commit 972e21f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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,