From 984cf8a07c052ae84eb9c2749968399a62414ca4 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 25 Apr 2019 14:02:28 -0500
Subject: [PATCH] loaddb

---
 cmake/Sources.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmake/Sources.cmake b/cmake/Sources.cmake
index 6bd9429d5..9e6e6e9fe 100644
--- a/cmake/Sources.cmake
+++ b/cmake/Sources.cmake
@@ -31,6 +31,7 @@ set (ENGINE_SOURCES
   C/corout.c
   C/cut_c.c
   C/dbase.c
+        C/dbload.c
   C/dlmalloc.c
   C/errors.c
   C/eval.c