From f83ce0e08e2b18125d50820634cb8aa2328e6402 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 23 Jan 2019 17:12:01 +0000
Subject: Minor opam release to fix #26. Also includes new unrolling pragma.

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

diff --git a/opam b/opam
index 01408b43..9fb32ee4 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "sail"
-version: "0.7"
+version: "0.7.1"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
-- 
cgit v1.2.3