Updating import from Plang to PChecker

p-org · May 28, 2024 · c089387 · c089387
1 parent e264437
commit c089387
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;