From c67aca429fd818ad529255bb51d580a78d102ff5 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Mon, 1 Feb 2016 17:10:51 +0100
Subject: [PATCH] Add deferral accessor function

---
 src/lib/CoAlgMisc.ml  | 1 +
 src/lib/CoAlgMisc.mli | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index e3536b1..73062f3 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 0cb2b18..d08ad67 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
-- 
GitLab