diff --git a/src/big-int/allocainc.h b/src/big-int/allocainc.h
index d0817d01484..31849174cbd 100644
--- a/src/big-int/allocainc.h
+++ b/src/big-int/allocainc.h
@@ -1,19 +1,27 @@
-// $Id: allocainc.h,v 1.7 2005-12-25 14:44:24 kroening Exp $
+/*******************************************************************\
+
+Module: Big Integers
+
+Author: Daniel Kroening, dkr@amazon.com
+
+\*******************************************************************/
 
 // Whatever is necessary to use alloca().
 
 #ifndef CPROVER_BIG_INT_ALLOCAINC_H
 #define CPROVER_BIG_INT_ALLOCAINC_H
 
-
-#if defined linux || defined __linux__		\
- || defined __sun				\
- || defined UWIN				\
- || defined osf1                                \
- || defined __MACH__                            \
- || defined __CYGWIN__
-
-#include <alloca.h>
+// clang-format off
+#if defined linux || defined __linux__ \
+  || defined __sun                     \
+  || defined UWIN                      \
+  || defined osf1                      \
+  || defined __MACH__                  \
+  || defined __CYGWIN__                \
+  || defined __EMSCRIPTEN__
+// clang-format on
+
+#  include <alloca.h>
 
 #elif defined _MSC_VER    \
    || defined __BORLANDC__ \