diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2019-12-16 13:47:11 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2019-12-16 13:47:11 -0500 |
| commit | f48703bf1b39c94c941ba101c3d2fd56a78d8289 (patch) | |
| tree | db141182d2927ac3ce26595437ed1ed9ef6f949e | |
| parent | 29a55cd595d41af31ee0b4737f78e53fa7cfc18d (diff) | |
Support endpoints generation for urpless invocations (closes #187)
| -rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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, |