From 85dad28489c39eb0ea2bc4ef3dc86b9fd8f75ca5 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@eecs.berkeley.edu>
Date: Tue, 11 Mar 2014 19:10:34 -0700
Subject: New FP encoding

---
 riscv-pk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'riscv-pk')

diff --git a/riscv-pk b/riscv-pk
index a43d87c..249cea8 160000
--- a/riscv-pk
+++ b/riscv-pk
@@ -1 +1 @@
-Subproject commit a43d87cf0ae16acff8763130f0c7e40014616cff
+Subproject commit 249cea820cf1a1345711ab7a02a479466d1ffc2c
-- 
cgit v1.1