From 949a2d6767aeec22a029c353b8a12be3665e60ec Mon Sep 17 00:00:00 2001 From: Artyom Shalkhakov Date: Sun, 27 Jan 2019 16:01:20 +0200 Subject: Fix build error. --- src/sources | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/sources b/src/sources index 5c0b2a84..851cdc16 100644 --- a/src/sources +++ b/src/sources @@ -165,6 +165,9 @@ $(SRC)/css.sml $(SRC)/mono.sml +$(SRC)/endpoints.sig +$(SRC)/endpoints.sml + $(SRC)/mono_util.sig $(SRC)/mono_util.sml -- cgit v1.2.3