[GIT] ppl/ppl(compliance): Typo fixed.
20 Jun
2014
20 Jun
'14
11:27 a.m.
Module: ppl/ppl Branch: compliance Commit: 2c040ae004351cf05e0f37f29d3e7a282776b01c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c040ae004351... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri Jun 20 11:27:20 2014 +0200 Typo fixed. --- src/Constraint.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Constraint.cc b/src/Constraint.cc index 82308ee..f3c6a6b 100644 --- a/src/Constraint.cc +++ b/src/Constraint.cc @@ -92,7 +92,7 @@ PPL::Constraint if (cycle.size() < 2) { // No-op. No need to call sign_normalize(). return; - !} + } expr.permute_space_dimensions(cycle); // *this is still normalized but may be not strongly normalized:
4221
Age (days ago)
4221
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara