From 226fb11ff2da90b7b68dad1b29b9688f880a06a3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 4 Dec 2011 14:40:12 -0500
Subject: timeFormat .urp directive

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

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index 6c88010b..1318b561 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -799,6 +799,7 @@ fun parseUrp' accLibs fname =
                                        | SOME n => minHeap := n)
                                   | "alwaysInline" => Settings.addAlwaysInline arg
                                   | "noXsrfProtection" => Settings.addNoXsrfProtection arg
+                                  | "timeFormat" => Settings.setTimeFormat arg
 
                                   | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
                                 read ()
-- 
cgit v1.2.3