[PPL-devel] [GIT] ppl/ppl(master): Warnings avoided.

Roberto Bagnara roberto.bagnara at bugseng.com
Tue Nov 24 10:05:54 CET 2015


Module: ppl/ppl
Branch: master
Commit: 142a58fa623e5b875efa4bd73f1071688a38f0ed
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=142a58fa623e5b875efa4bd73f1071688a38f0ed

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Tue Nov 24 10:05:15 2015 +0100

Warnings avoided.

---

 ...face_generator_prolog_generated_test_pl_code.m4 |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
index 7b553e3..b2f7c32 100644
--- a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
+++ b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
@@ -947,7 +947,7 @@ ppl_ at CLASS@_frequency_6_test :-
         F_N == F_Nexptd, F_D == F_Dexptd,
         V_N == V_Nexptd, V_D == V_Dexptd)
      ;
-       \+ ppl_ at CLASS@_frequency(PS, LE, F_N, F_D, V_N, V_D)
+       \+ ppl_ at CLASS@_frequency(PS, LE, _F_N, _F_D, _V_N, _V_D)
      ),
      ppl_ at CLASS@_OK(PS),
      ppl_delete_ at CLASS@(PS)




More information about the PPL-devel mailing list