From 17de350599b984f22f78728ac4d615445472b78c Mon Sep 17 00:00:00 2001
From: Dmitry Yakovenko <jakovenko-dm@yandex.ru>
Date: Sun, 12 Jan 2020 00:35:37 +0300
Subject: [PATCH] Fix platform compatibility check

---
 src/database.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/database.c b/src/database.c
index dc03bf1f..1a79800e 100644
--- a/src/database.c
+++ b/src/database.c
@@ -114,8 +114,8 @@ hs_error_t HS_CDECL hs_serialize_database(const hs_database_t *db, char **bytes,
 static
 hs_error_t db_check_platform(const u64a p) {
     if (p != hs_current_platform
-        && p != hs_current_platform_no_avx2
-        && p != hs_current_platform_no_avx512) {
+        && p != (hs_current_platform | hs_current_platform_no_avx2)
+        && p != (hs_current_platform | hs_current_platform_no_avx512)) {
         return HS_DB_PLATFORM_ERROR;
     }
     // passed all checks