diff --git a/Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs b/Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs index c8b9af5a15..8c9ce3176f 100644 --- a/Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs +++ b/Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs @@ -3,9 +3,9 @@ using System.Collections.Generic; using System.Linq; using System.IO; -using Plang.CSharpRuntime; -using Plang.CSharpRuntime.Values; -using Plang.CSharpRuntime.Exceptions; +using PChecker.PRuntime; +using PChecker.PRuntime.Values; +using PChecker.PRuntime.Exceptions; using System.Threading; using System.Threading.Tasks;