From 141d8bd469e0b31d36a3b3f3f90eda8ad4a23a7d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 3 Feb 2016 18:22:08 +0100
Subject: Register flag "SsrHave NoTCResolution" in the Summary (fix #6)

---
 mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 | 2 +-
 mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'mathcomp/ssreflect/plugin')

diff --git a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4
index 72efb36..b50635c 100644
--- a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4
+++ b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4
@@ -475,7 +475,7 @@ let _ =
       Goptions.optdepr  = false;
       Goptions.optwrite = (fun b -> ssroldreworder := b) }
 
-let ssrhaveNOtcresolution = ref false
+let ssrhaveNOtcresolution = Summary.ref ~name:"SSR:havenotcresolution" false
 
 let inHaveTCResolution = Libobject.declare_object {
   (Libobject.default_object "SSRHAVETCRESOLUTION") with
diff --git a/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 b/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4
index eb21fc2..2b958b5 100644
--- a/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4
+++ b/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4
@@ -474,7 +474,7 @@ let _ =
       Goptions.optdepr  = false;
       Goptions.optwrite = (fun b -> ssroldreworder := b) }
 
-let ssrhaveNOtcresolution = ref false
+let ssrhaveNOtcresolution = Summary.ref ~name:"SSR:havenotcresolution" false
 
 let inHaveTCResolution = Libobject.declare_object {
   (Libobject.default_object "SSRHAVETCRESOLUTION") with
-- 
cgit v1.2.3