From b81e4887e2386065040b9d586a16c37b1b599d1b Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 21 Mar 2017 17:00:51 +0100
Subject: [PATCH] Fix whitespace
---
src/coalg/coalg.ml | 24 ++++++++++++------------
1 file changed, 12 insertions(+), 12 deletions(-)
diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index d04436e..0938cbe 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -155,18 +155,18 @@ let choicePrint () =
with End_of_file -> ()
let choiceNom2fix () =
- try
- while true do
- let input = read_line () in
- if not (GenAndComp.isEmptyString input) then
- let f = CoAlgFormula.importFormula input in
- let str = CoAlgFormula.exportFormula f in
- incr counter;
- print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");
- flush stdout;
- else ()
- done
- with End_of_file -> ()
+ try
+ while true do
+ let input = read_line () in
+ if not (GenAndComp.isEmptyString input) then
+ let f = CoAlgFormula.importFormula input in
+ let str = CoAlgFormula.exportFormula f in
+ incr counter;
+ print_string("\nFormula " ^ (string_of_int !counter) ^ ": " ^ str ^ "\n");
+ flush stdout;
+ else ()
+ done
+ with End_of_file -> ()
let choiceNNF () =
try
--
GitLab