From 46da38a0e0ae381d219e3344b50e3802c80b5ad3 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Fri, 5 Nov 2021 02:20:36 +0100 Subject: [PATCH] fixup for 4.07.1 --- serlib/ppx_python_runtime_serapi.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/serlib/ppx_python_runtime_serapi.ml b/serlib/ppx_python_runtime_serapi.ml index 433e13f8..76aaa22c 100644 --- 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 _ = ()