diff options
author | 2013-09-29 11:39:05 +0100 | |
---|---|---|
committer | 2013-09-29 11:39:05 +0100 | |
commit | 0b4388429f5eb571fce4b1aff508be891ad75b87 (patch) | |
tree | b6dcfefbda32bbafc553859e0e3f5268c6eff9a2 /Source/VCGeneration/ConditionGeneration.cs | |
parent | 99945de38ce51bcc7e2370bffdd00f2f8a203345 (diff) |
more changes towards parallelisation of Houdini
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
-rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index e0ef2aed..8fe4a5c6 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -1344,7 +1344,7 @@ namespace VC { }
IEnumerable sortedNodes;
- if (CommandLineOptions.Clo.ReverseTopologicalSorting) {
+ if (CommandLineOptions.Clo.ModifyTopologicalSorting) {
sortedNodes = dag.TopologicalSort(true);
} else {
sortedNodes = dag.TopologicalSort();
|