From c3e13ca68559da32194210b6f4afc8e71540e753 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Mon, 9 Nov 2015 14:41:26 +0100
Subject: [PATCH] Generate instance of VAR instead of AP for bound variables
---
src/lib/CoAlgFormula.ml | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index ef5f85b..75d6f02 100644
--- a/src/lib/CoAlgFormula.ml
+++ b/src/lib/CoAlgFormula.ml
@@ -743,7 +743,12 @@ and parse_rest symtab ts =
AP "false"
| A.Kwd "True" -> TRUE
| A.Kwd "False" -> FALSE
- | A.Ident s -> AP s
+ | A.Ident s ->
+ (try
+ let finder (x, _) = compare x s == 0 in
+ let (_, symbol) = List.find finder symtab in
+ VAR symbol
+ with Not_found -> AP s)
| A.Kwd "~" ->
let f = parse_rest symtab ts in
NOT f
--
GitLab