Updating import from Plang to PChecker

p-org · May 31, 2024 · 6b9e505 · 6b9e505
1 parent ac82d2c
commit 6b9e505
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/Tutorial/PriorityQueue/PForeign/ClientFunctions.cs b/Tutorial/PriorityQueue/PForeign/ClientFunctions.cs
@@ -1,5 +1,5 @@
 using System.Collections;
-using Plang.CSharpRuntime.Values;
+using PChecker.PRuntime.Values;
 
 namespace PImplementation
 {

diff --git a/Tutorial/PriorityQueue/PForeign/PriorityQueue.cs b/Tutorial/PriorityQueue/PForeign/PriorityQueue.cs
@@ -4,9 +4,9 @@
 using System.Linq;
 using System.IO;
 using System.Linq.Expressions;
-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;
 

diff --git a/Tutorial/PriorityQueue/PForeign/PriorityQueueFunctions.cs b/Tutorial/PriorityQueue/PForeign/PriorityQueueFunctions.cs
@@ -7,9 +7,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;