diff --git a/byterun/extern.c b/byterun/extern.c
index 50ffa9c..438e4fd 100644
--- a/byterun/extern.c
+++ b/byterun/extern.c
@@ -454,8 +454,8 @@ static void extern_rec(value v)
       break;
     case Infix_tag:
       writecode32(CODE_INFIXPOINTER, Infix_offset_hd(hd));
-      extern_rec(v - Infix_offset_hd(hd));
-      break;
+      v = v - Infix_offset_hd(hd);
+      continue;
     case Custom_tag: {
       uintnat sz_32, sz_64;
       char * ident = Custom_ops_val(v)->identifier;

From b36f2194fb77367b9c2dc8b360784127b1153775 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@inria.fr>
Date: Thu, 4 Oct 2012 23:53:54 +0200
Subject: [PATCH] a regression test added for PR#5772: bug in marshalling of
 recursive functions

---
 testsuite/tests/lib-marshal/intext.ml        |   13 ++++++++++++-
 testsuite/tests/lib-marshal/intext.reference |    1 +
 2 files changed, 13 insertions(+), 1 deletions(-)

diff --git a/testsuite/tests/lib-marshal/intext.ml b/testsuite/tests/lib-marshal/intext.ml
index 80fe5b7..8363843 100644
--- a/testsuite/tests/lib-marshal/intext.ml
+++ b/testsuite/tests/lib-marshal/intext.ml
@@ -524,6 +524,16 @@ let test_infix () =
   test 606 (even' 142 = true);
   test 607 (even' 142 = even 142)
 
+
+let test_mutual_rec_regression () =
+  (* this regression was reported by Cedric Pasteur in PR#5772 *)
+  let rec test_one q x = x > 3
+  and test_list q = List.for_all (test_one q) q in
+  let g () = () in
+  let f q = if test_list q then g () in
+  
+  test 700 (try ignore (Marshal.to_string f [Marshal.Closures]); true with _ -> false)
+
 let main() =
   if Array.length Sys.argv <= 2 then begin
     test_out "intext.data"; test_in "intext.data";
@@ -535,7 +545,8 @@ let main() =
     test_block();
     test_deep();
     test_objects();
-    test_infix ()
+    test_infix ();
+    test_mutual_rec_regression ();
   end else
   if Sys.argv.(1) = "make" then begin
     let n = int_of_string Sys.argv.(2) in
diff --git a/testsuite/tests/lib-marshal/intext.reference b/testsuite/tests/lib-marshal/intext.reference
index 6933ef3..af16fa3 100644
--- a/testsuite/tests/lib-marshal/intext.reference
+++ b/testsuite/tests/lib-marshal/intext.reference
@@ -170,3 +170,4 @@ Test 604 passed.
 Test 605 passed.
 Test 606 passed.
 Test 607 passed.
+Test 700 passed.
-- 
1.7.7.3