From 1a92bdc65a47614912b4bfd0cf6f442d7134ce23 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 2 Feb 2012 11:40:10 -0500
Subject: 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)

---
 src/settings.sig | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 26e220fd..62b7a748 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -16,7 +16,7 @@
  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
- * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
@@ -26,10 +26,10 @@
  *)
 
 signature SETTINGS = sig
-    
+
     val setDebug : bool -> unit
     val getDebug : unit -> bool
-                           
+
     val clibFile : string -> string
 
     (* How do all application URLs begin? *)
@@ -143,6 +143,8 @@ signature SETTINGS = sig
     type dbms = {
          name : string,
          (* Call it this on the command line *)
+         randomFunction : string,
+         (* DBMS's name for random number-generating function *)
          header : string,
          (* Include this C header file *)
          link : string,
-- 
cgit v1.2.3