Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[fix] server: The 'server =' analysis is useless an opa programm shou…

…ld not be have different behaviour if encountered a 'server =' declaration
  • Loading branch information...
commit 5735aa3e4a50c9767a8e261701c45c983bc74d94 1 parent d618def
@BourgerieQuentin BourgerieQuentin authored OpaOnWindowsNow committed
Showing with 1 addition and 1 deletion.
  1. +1 −1  opalib/opaEnv.ml
View
2  opalib/opaEnv.ml
@@ -233,7 +233,7 @@ struct
(* n *)
let no_assert = ref false
- let no_server = ref None
+ let no_server = ref (Some false)
let stdlib = ref true
let show_compilation = ref false
Please sign in to comment.
Something went wrong with that request. Please try again.