lang/admit-before-run-pref.ss
(module admit-before-run-pref mzscheme
  (require (lib "framework.ss" "framework"))
  
  (provide get-admit-before-run?
           set-admit-before-run?)
  
  (define *admit-before-run*
    'admit-before-run-acl2-pref)
  
  (preferences:set-default *admit-before-run* #f boolean?)
  
  (define (get-admit-before-run?)
    (preferences:get *admit-before-run*))
  
  (define (set-admit-before-run? value)
    (preferences:set *admit-before-run* value))
  
  )