
Module: ppl/ppl Branch: devel Commit: 1bcfe132213c6cb6f1037beed552d831174c2424 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bcfe132213c6...
Author: Roberto Bagnara roberto.bagnara@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_@TOPOLOGY@@CLASS@_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; }