Skip to content
Snippets Groups Projects
Commit 01e7b349 authored by dgelessus's avatar dgelessus
Browse files

Fix indents

parent fa519677
No related branches found
No related tags found
Show whitespace changes
Inline Side-by-side
de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+ 6
− 7
View file @ 01e7b349
...@@ -316,7 +316,6 @@ public final class ContextTranslator extends AbstractComponentTranslator { ...@@ -316,7 +316,6 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final ISCCarrierSet[] carrierSets = context.getSCCarrierSets(); final ISCCarrierSet[] carrierSets = context.getSCCarrierSets();
final List<PSet> setList = new ArrayList<PSet>(carrierSets.length); final List<PSet> setList = new ArrayList<PSet>(carrierSets.length);
for (final ISCCarrierSet carrierSet : carrierSets) { for (final ISCCarrierSet carrierSet : carrierSets) {
final ADeferredSetSet deferredSet = new ADeferredSetSet(Arrays final ADeferredSetSet deferredSet = new ADeferredSetSet(Arrays
.asList(new TIdentifierLiteral[] { new TIdentifierLiteral(carrierSet.getIdentifierString()) })); .asList(new TIdentifierLiteral[] { new TIdentifierLiteral(carrierSet.getIdentifierString()) }));
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment