Commits

Anonymous committed 0ffe4e7

Don't read .cryptolrc or CRYPTOLFLAGS when invoking the REPL.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Comments (0)

Files changed (1)

   :type  'string
   :group 'cryptol)
 
-(defcustom cryptol-args-repl '("-n")
+(defcustom cryptol-args-repl '("-ns")
   "The arguments to pass to `cryptol-command' when starting a REPL."
   :type  'list
   :group 'cryptol)