Merge pull request #409 from Alkarex/patch-1

[mono.git] / mcs / class / Mono.CodeContracts / Mono.CodeContracts.Static.Analysis.ExpressionAnalysis / ExpressionAnalysisFacade.cs

diff --git a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis/ExpressionAnalysisFacade.cs b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis/ExpressionAnalysisFacade.cs
index 026a460edd43f96d1e5963f03f97f2d61a13ecb4..2923e26b238206bbb1ae808d056c0ae93d604115 100644 (file)
--- a/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis/ExpressionAnalysisFacade.cs
+++ b/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis/ExpressionAnalysisFacade.cs
@@ -38,7 +38,7 @@ namespace Mono.CodeContracts.Static.Analysis.ExpressionAnalysis {
        class ExpressionAnalysisFacade<TSymValue, TContext, TEdgeData>
                where TSymValue : IEquatable<TSymValue>
                where TContext : IValueContextProvider<TSymValue>
-               where TEdgeData : IImmutableMap<TSymValue, LispList<TSymValue>> {
+               where TEdgeData : IImmutableMap<TSymValue, Sequence<TSymValue>> {
                
                public readonly Predicate<APC> IsUnreachable;