Index: src/prelude/builtins.c
===================================================================
--- src/prelude/builtins.c	(revision fe97a7d8c39190462e63a923c254d1ba68347436)
+++ src/prelude/builtins.c	(revision 2edd80ae7bb41eee0783cfcc80573f533b6ee760)
@@ -1,16 +1,16 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// builtins.c -- 
-// 
+//
+// builtins.c --
+//
 // Author           : Peter A. Buhr
 // Created On       : Fri Jul 21 16:21:03 2017
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jul 22 10:34:20 2017
-// Update Count     : 13
-// 
+// Last Modified By : Andrew Beach
+// Last Modified On : Tus Jul 25 15:33:00 2017
+// Update Count     : 14
+//
 
 // exception implementation
@@ -18,4 +18,5 @@
 typedef unsigned long long __cfaabi_exception_type_t;
 
+#include "../libcfa/virtual.h"
 #include "../libcfa/exception.h"