From 439947550e09f6c3bff4e7215f8f98b332bc440a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vilhelm=20Sjo=CC=88berg?= <vilhelm@cis.upenn.edu>
Date: Wed, 21 Oct 2020 04:25:05 -0400
Subject: [PATCH] update version number in readme file.

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 201b72e..5323768 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,5 @@
 # The DeepSEA Language
 
-Version 1.0 binary release.
-
 You can download a zip file from the [releases page](https://github.com/CertiKProject/deepsea-preview/releases). Please see the [DeepSEA language reference](https://github.com/CertiKProject/deepsea-preview/blob/master/DeepSEA%20language%20reference.pdf) for installation and usage instructions.  
 
 The zip file includes pre-built binaries for Linux (Ubuntu) and MacOS. Since they use some system libraries, it is possible that they will not work on every version of Linux or MacOS. It is also easy to build the binaries from source yourself, following the instructions in the `src` directory.