diff options
| author | Enrico Tassi | 2016-01-08 23:27:22 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-01-08 23:27:28 +0100 |
| commit | be7249377b78f44465746be61b1f40830aa213e5 (patch) | |
| tree | ff161fe01be78c0c254b75980fcb12c88513981f /mathcomp/ssreflect/plugin/v8.4 | |
| parent | c450f3314900aa69f9d456a55d40f7a6adee762b (diff) | |
fix version number in initialization message
Diffstat (limited to 'mathcomp/ssreflect/plugin/v8.4')
| -rw-r--r-- | mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 b/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 index db1f8d2..49a5912 100644 --- a/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 +++ b/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 @@ -2,7 +2,7 @@ (* Distributed under the terms of CeCILL-B. *) (* This line is read by the Makefile's dist target: do not remove. *) -let ssrversion = "1.5";; +let ssrversion = "1.6";; let ssrAstVersion = 1;; let () = Mltop.add_known_plugin (fun () -> if Flags.is_verbose () && not !Flags.batch_mode then begin |