From aaa1af5b2866509453e54141d095b35e16d62f37 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sat, 24 Oct 2020 13:05:25 +0100
Subject: [PATCH] fix debug build

---
 src/util/vector.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/vector.h b/src/util/vector.h
index 592f49c26..ccf7d94fe 100644
--- a/src/util/vector.h
+++ b/src/util/vector.h
@@ -138,7 +138,7 @@ public:
     }
 
     void init(SZ s) {
-        SASSERT(m_data == nullptr;);
+        SASSERT(m_data == nullptr);
         if (s == 0) {
             return;
         }