Fix line numbers reported by policy-tool

amstrnad · amstrnad · commit 15ad1abb9fad · 2019-08-13T09:52:11.000-04:00
diff --git a/policy-tool b/policy-tool
@@ -1 +1 @@
-Subproject commit f1ea6f6d7a3a7c21a358acf718a749123429e37d
+Subproject commit c372a614005fc13134634ff0b6ccae74961f85b9
