From 8e394ffcf40307482f19b32b48eb9fc3a7630dfd Mon Sep 17 00:00:00 2001
From: Adrian Velicu <adrianv@google.com>
Date: Sat, 8 Nov 2014 10:35:37 +0900
Subject: [PATCH] Making 'dicttool header' output format version

Change-Id: I4198f6b463711feb4ab78020934cca4d23870fbb
---
 .../src/com/android/inputmethod/latin/dicttool/Header.java       | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java b/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java
index 51efdec33..ba96c0aeb 100644
--- a/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java
+++ b/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java
@@ -62,6 +62,7 @@ public class Header extends Dicttool.Command {
         System.out.println("Dictionary : " + dictFile.getAbsolutePath());
         System.out.println("Size : " + dictFile.length() + " bytes");
         System.out.println("Format : Binary dictionary format");
+        System.out.println("Format version : " + header.mFormatOptions.mVersion);
         System.out.println("Packaging : " + spec.describeChain());
         System.out.println("Header attributes :");
         System.out.print(header.mDictionaryOptions.toString(2 /* indentCount */, plumbing));