*** old/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/Assertions.java	Wed Dec 13 08:52:26 2017
--- new/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/Assertions.java	Wed Dec 13 08:52:26 2017

*** 52,62 ****
--- 52,62 ----
      }
  
      // @formatter:off
      public static class Options {
  
!         @Option(help = "Enable expensive assertions. (Require normal assertions enabled)", type = OptionType.Debug)
!         public static final OptionKey<Boolean> DetailedAsserts = new OptionKey<>(true);
!         @Option(help = "Enable expensive assertions if normal assertions (i.e. -ea or -esa) are enabled.", type = OptionType.Debug)
!         public static final OptionKey<Boolean> DetailedAsserts = new OptionKey<>(false);
  
      }
      // @formatter:on
  }