[PPL-devel] [GIT] ppl/ppl(devel): Added missing braces. Fixed indentation.
Roberto Bagnara
roberto.bagnara at bugseng.com
Thu Jun 25 08:57:40 CEST 2020
Module: ppl/ppl
Branch: devel
Commit: 1bcfe132213c6cb6f1037beed552d831174c2424
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bcfe132213c6cb6f1037beed552d831174c2424
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date: Wed Jun 24 20:26:41 2020 +0200
Added missing braces. Fixed indentation.
---
.../ppl_interface_generator_prolog_cc_code.m4 | 24 ++++++++++---------
1 files changed, 13 insertions(+), 11 deletions(-)
diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
index a710aa6..176c7b1 100644
--- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
+++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
@@ -37,23 +37,25 @@ ppl_new_ at TOPOLOGY@@CLASS at _from_space_dimension(Prolog_term_ref t_nd,
@TOPOLOGY@@CPP_CLASS@* ph;
Prolog_atom uoe = term_to_universe_or_empty(t_uoe, where);
- if (uoe == a_empty)
+ if (uoe == a_empty) {
ph = new @TOPOLOGY@@CPP_CLASS@(term_to_unsigned<dimension_type>(t_nd,
where),
EMPTY);
- else
+ }
+ else {
ph = new @TOPOLOGY@@CPP_CLASS@(term_to_unsigned<dimension_type>(t_nd,
where),
UNIVERSE);
-
- Prolog_term_ref tmp = Prolog_new_term_ref();
- Prolog_put_address(tmp, ph);
- if (Prolog_unify(t_ph, tmp)) {
- PPL_REGISTER(ph);
- return PROLOG_SUCCESS;
- }
- else
- delete ph;
+ }
+ Prolog_term_ref tmp = Prolog_new_term_ref();
+ Prolog_put_address(tmp, ph);
+ if (Prolog_unify(t_ph, tmp)) {
+ PPL_REGISTER(ph);
+ return PROLOG_SUCCESS;
+ }
+ else {
+ delete ph;
+ }
}
CATCH_ALL;
}
More information about the PPL-devel
mailing list