From 0fe522e0a41706a25103e89ffb67a5ea74d78052 Mon Sep 17 00:00:00 2001
From: Kristin Braun <kristin.braun@fau.de>
Date: Mon, 27 Mar 2017 20:10:23 +0200
Subject: [PATCH] implemented nom2fix function
---
src/coalg/coalg.ml | 4 ++--
src/lib/EAFormula.ml | 3 +--
src/lib/EAFormula.mli | 2 +-
3 files changed, 4 insertions(+), 5 deletions(-)
diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 530b082..2ccd701 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -164,8 +164,8 @@ let choiceNom2fix () =
let input = read_line () in
if not (GenAndComp.isEmptyString input) then
let f = CoAlgFormula.importFormula input in
- (*let g = EAFormula.nom2EA f in*)
- let str = CoAlgFormula.exportFormula f in
+ let g = EAFormula.nom2EA f in
+ let str = EAFormula.exportFormula g in
incr counter;
print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");
flush stdout;
diff --git a/src/lib/EAFormula.ml b/src/lib/EAFormula.ml
index c5716a6..5db6675 100644
--- a/src/lib/EAFormula.ml
+++ b/src/lib/EAFormula.ml
@@ -79,7 +79,6 @@ let exportFormula f =
exportFormula_buffer sb f;
Buffer.contents sb
-(*let nom2EA f =
- let ret = eaformula.FALSE*)
+let nom2EA f = FALSE
(* vim: set et sw=2 sts=2 ts=8 : *)
diff --git a/src/lib/EAFormula.mli b/src/lib/EAFormula.mli
index a2de1b6..fd53139 100644
--- a/src/lib/EAFormula.mli
+++ b/src/lib/EAFormula.mli
@@ -18,6 +18,6 @@ type eaformula =
| A of eaformula (* global box *)
val exportFormula : eaformula -> string
-(*val nom2EA : CoAlgFormula.formula -> eaformula*)
+val nom2EA : CoAlgFormula.formula -> eaformula
(* vim: set et sw=2 sts=2 ts=8 : *)
--
GitLab