From 60dfbfbc250c197357d84771bdc5aaaa812c573e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 Jan 2010 15:58:34 -0500
Subject: Deadlines

---
 src/settings.sml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index 03b7fd6d..5edfb3ff 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008-2009, Adam Chlipala
+(* Copyright (c) 2008-2010, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -436,4 +436,8 @@ val staticLinking = ref false
 fun setStaticLinking b = staticLinking := b
 fun getStaticLinking () = !staticLinking
 
+val deadlines = ref false
+fun setDeadlines b = deadlines := b
+fun getDeadlines () = !deadlines
+
 end
-- 
cgit v1.2.3