From 9e13746fc9aff6ace1ddd53bb8cc1a698ab0c198 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 13 Feb 2019 10:37:57 +0100
Subject: [PATCH] [kernel] restore status of axioms
---
src/kernel_services/ast_data/property.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_data/property.ml b/src/kernel_services/ast_data/property.ml
index 54e398ccc2f..d61e7eec939 100644
--- a/src/kernel_services/ast_data/property.ml
+++ b/src/kernel_services/ast_data/property.ml
@@ -317,13 +317,12 @@ let has_status_pkind = function
-> true
let rec has_status = function
- | IPAxiom _ -> false
| IPPredicate(pkind, _, _, _) -> has_status_pkind pkind
| IPExtended(_,e) -> has_status_ext e
| IPCodeAnnot(_,_, { annot_content = ca }) -> has_status_ca ca
| IPPropertyInstance(_,_,_,ip) -> has_status ip
| IPOther _ | IPReachable _
- | IPAxiomatic _ | IPBehavior _
+ | IPAxiom _ | IPAxiomatic _ | IPBehavior _
| IPDisjoint _ | IPComplete _
| IPAssigns _ | IPFrom _
| IPAllocation _ | IPDecrease _ | IPLemma _
--
GitLab