From f48703bf1b39c94c941ba101c3d2fd56a78d8289 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Mon, 16 Dec 2019 13:47:11 -0500
Subject: Support endpoints generation for urpless invocations (closes #187)

---
 src/compiler.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler.sml b/src/compiler.sml
index fab939f9..06abed0c 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -448,7 +448,7 @@ fun parseUrp' accLibs fname =
                         sources = [fname],
                         exe = fname ^ ".exe",
                         sql = NONE,
-                        endpoints = NONE,
+                        endpoints = Settings.getEndpoints (),
                         debug = Settings.getDebug (),
                         profile = false,
                         timeout = 120,
-- 
cgit v1.2.3