From b91e24a30a44c3f80b62a8eff3489da361e1fe32 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Mon, 1 May 2023 10:51:15 -0700
Subject: [PATCH] Use pk/encoding.h for hello/mt-hello

---
 tests/encoding.h | 1 -
 tests/hello.c    | 2 +-
 tests/mt-hello.c | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)
 delete mode 120000 tests/encoding.h

diff --git a/tests/encoding.h b/tests/encoding.h
deleted file mode 120000
index f398b163..00000000
--- a/tests/encoding.h
+++ /dev/null
@@ -1 +0,0 @@
-../toolchains/riscv-tools/riscv-tests/env/encoding.h
\ No newline at end of file
diff --git a/tests/hello.c b/tests/hello.c
index dbfbfe56..626cd930 100644
--- a/tests/hello.c
+++ b/tests/hello.c
@@ -1,5 +1,5 @@
 #include <stdio.h>
-#include "encoding.h"
+#include <riscv-pk/encoding.h>
 #include "marchid.h"
 
 int main(void) {
diff --git a/tests/mt-hello.c b/tests/mt-hello.c
index 5ab47a56..f0f521c7 100644
--- a/tests/mt-hello.c
+++ b/tests/mt-hello.c
@@ -1,4 +1,4 @@
-#include "encoding.h"
+#include <riscv-pk/encoding.h>
 #include <stdio.h>
 #include "marchid.h"