session: don't close <meta> with </meta_args>

0bd118d0 · Andrei Paskevich · 588b5df8 · 0bd118d0
Commit 0bd118d0 authored Mar 16, 2013 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/session/session.ml src/session/session.ml +1 -1

No files found.
--- a/src/session/session.ml
+++ b/src/session/session.ml
@@ -607,7 +607,7 @@ and save_meta_args fmt s l =
      fprintf fmt "@\n@[<v 1><meta_arg_int@ val=\"%i\"/>@]" i
  in
  List.iter (save_meta_arg fmt) l;
-  fprintf fmt "@]@\n</meta_args>"
+  fprintf fmt "@]@\n</meta>"

 and save_ty fmt ty =
  match ty.ty_node with