fixup for 4.07.1

rocq-archive · Nov 5, 2021 · 46da38a · 46da38a
1 parent 48f4936
commit 46da38a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/serlib/ppx_python_runtime_serapi.ml b/serlib/ppx_python_runtime_serapi.ml
@@ -2,7 +2,7 @@ include Ppx_python_runtime_pycoq
 include Ppx_python_runtime_pycoq.Ppx_python_runtime
 
 (* To remove in newer ppx_python release *)
-exception Not_found_s = Base.Not_found_s
+(* exception Not_found_s = Base.Not_found_s *)
 
 let python_of_unit _ = Py.Int.of_int 0
 let unit_of_python _ = ()