From 22e578bb11fe62d3e8ac05b5278a076bf7f2fa2e Mon Sep 17 00:00:00 2001
From: Tim Ruffing <crypto@timruffing.de>
Date: Tue, 21 Jul 2020 11:09:23 +0200
Subject: [PATCH] Undef HAVE___INT128 in basic-config.h to fix gen_context
 compilation

Fixes #768.
---
 src/basic-config.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/basic-config.h b/src/basic-config.h
index e9be39d4ca4d4..b5ccd83984571 100644
--- a/src/basic-config.h
+++ b/src/basic-config.h
@@ -25,6 +25,7 @@
 #undef USE_SCALAR_INV_BUILTIN
 #undef USE_SCALAR_INV_NUM
 #undef ECMULT_WINDOW_SIZE
+#undef HAVE___INT128 /* used in util.h */
 
 #define USE_NUM_NONE 1
 #define USE_FIELD_INV_BUILTIN 1