diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index e3536b18db21189c4873aae1cce7a611d3de22e9..73062f3bbf4e5aa765fa7a332ab15dc9abc1c8cf 100644
--- a/src/lib/CoAlgMisc.ml
+++ b/src/lib/CoAlgMisc.ml
@@ -680,6 +680,7 @@ let lfGetType sort f = !arrayType.(sort).(f)
 let lfGetDest1 sort f = !arrayDest1.(sort).(f)
 let lfGetDest2 sort f = !arrayDest2.(sort).(f)
 let lfGetDest3 sort f = !arrayDest3.(sort).(f)
+let lfGetDeferral sort f = !arrayDeferral.(sort).(f)
 let lfGetDestNum sort f = !arrayDestNum.(sort).(f)
 let lfGetDestNum2 sort f = !arrayDestNum2.(sort).(f)
 let lfGetDestAg sort f = !arrayDestAg.(sort).(f)
diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index 0cb2b18ef432bd6493eba9e4f6b142e58b6b5263..d08ad677f6524d7f8449bd2a15ea6d4bbb4fb7ac 100644
--- a/src/lib/CoAlgMisc.mli
+++ b/src/lib/CoAlgMisc.mli
@@ -333,6 +333,7 @@ val lfGetType : sort -> localFormula -> formulaType
 val lfGetDest1 : sort -> localFormula -> localFormula
 val lfGetDest2 : sort -> localFormula -> localFormula
 val lfGetDest3 : sort -> localFormula -> int
+val lfGetDeferral : sort -> localFormula -> int
 val lfGetDestNum : sort -> localFormula -> int
 val lfGetDestNum2 : sort -> localFormula -> int
 val lfGetDestAg : sort -> localFormula -> int array