Updated Plang import to PChecker

p-org · May 28, 2024 · c24802d · c24802d
1 parent 8fb54a7
commit c24802d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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;