fixed name

parent 10ba6776
......@@ -21,7 +21,7 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Copyright (C) 2007 Eric Cooper <ecc@cmu.edu>
Copyright (C) 2007 Eric Norige <thelema314@gmail.com>
-->
<language id="why" _name="Objective Caml" version="2.0" _section="Sources">
<language id="why" _name="Why3" version="2.0" _section="Sources">
<metadata>
<property name="mimetypes">text/x-why</property>
<property name="globs">*.ml;*.mli;*.mll;*.mly</property>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment