diff --git a/infer/src/IR/AttributesTable.re b/infer/src/IR/AttributesTable.re index 290aa9648..e47f746b4 100644 --- a/infer/src/IR/AttributesTable.re +++ b/infer/src/IR/AttributesTable.re @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/AttributesTable.rei b/infer/src/IR/AttributesTable.rei index fe4c5aae3..3c0711ba5 100644 --- a/infer/src/IR/AttributesTable.rei +++ b/infer/src/IR/AttributesTable.rei @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cfg.re b/infer/src/IR/Cfg.re index cde767e73..546d3fb9c 100644 --- a/infer/src/IR/Cfg.re +++ b/infer/src/IR/Cfg.re @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cfg.rei b/infer/src/IR/Cfg.rei index b73ff3bbe..4c2138847 100644 --- a/infer/src/IR/Cfg.rei +++ b/infer/src/IR/Cfg.rei @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cg.re b/infer/src/IR/Cg.re index d08239c5b..bc9b5b93c 100644 --- a/infer/src/IR/Cg.re +++ b/infer/src/IR/Cg.re @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cg.rei b/infer/src/IR/Cg.rei index 1fbb19349..79bd5b650 100644 --- a/infer/src/IR/Cg.rei +++ b/infer/src/IR/Cg.rei @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Csu.re b/infer/src/IR/Csu.re index 2983bbdf9..2b3ac9c4b 100644 --- a/infer/src/IR/Csu.re +++ b/infer/src/IR/Csu.re @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Csu.rei b/infer/src/IR/Csu.rei index 433f2c46f..1d3d8b00a 100644 --- a/infer/src/IR/Csu.rei +++ b/infer/src/IR/Csu.rei @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Ident.re b/infer/src/IR/Ident.re index cc92ce04c..c9599c161 100644 --- a/infer/src/IR/Ident.re +++ b/infer/src/IR/Ident.re @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; @@ -412,4 +414,4 @@ let pp_name_list = pp_comma_seq pp_name; let make_ident_primed id = if id.kind == kprimed then assert false else { id with kind = kprimed } - */ \ No newline at end of file + */ diff --git a/infer/src/IR/Ident.rei b/infer/src/IR/Ident.rei index f6953b6fd..855f950a9 100644 --- a/infer/src/IR/Ident.rei +++ b/infer/src/IR/Ident.rei @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Location.re b/infer/src/IR/Location.re index 7b54e07a6..a855030fc 100644 --- a/infer/src/IR/Location.re +++ b/infer/src/IR/Location.re @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Location.rei b/infer/src/IR/Location.rei index d97e65e9f..fe8c59667 100644 --- a/infer/src/IR/Location.rei +++ b/infer/src/IR/Location.rei @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Mangled.re b/infer/src/IR/Mangled.re index 70ec9755e..cf197a18c 100644 --- a/infer/src/IR/Mangled.re +++ b/infer/src/IR/Mangled.re @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Mangled.rei b/infer/src/IR/Mangled.rei index 023306b9e..ad644b353 100644 --- a/infer/src/IR/Mangled.rei +++ b/infer/src/IR/Mangled.rei @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/ProcAttributes.re b/infer/src/IR/ProcAttributes.re index c31ae23eb..62022c7d0 100644 --- a/infer/src/IR/ProcAttributes.re +++ b/infer/src/IR/ProcAttributes.re @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/ProcAttributes.rei b/infer/src/IR/ProcAttributes.rei index 6df4d92b0..c26e65aa1 100644 --- a/infer/src/IR/ProcAttributes.rei +++ b/infer/src/IR/ProcAttributes.rei @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Procname.re b/infer/src/IR/Procname.re index b14b15a8b..abcc764b7 100644 --- a/infer/src/IR/Procname.re +++ b/infer/src/IR/Procname.re @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Procname.rei b/infer/src/IR/Procname.rei index 5a1d716a0..930c5c0ce 100644 --- a/infer/src/IR/Procname.rei +++ b/infer/src/IR/Procname.rei @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Pvar.re b/infer/src/IR/Pvar.re index 64fe8962a..140973392 100644 --- a/infer/src/IR/Pvar.re +++ b/infer/src/IR/Pvar.re @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Pvar.rei b/infer/src/IR/Pvar.rei index 326bd05b7..d6470a1be 100644 --- a/infer/src/IR/Pvar.rei +++ b/infer/src/IR/Pvar.rei @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Sil.re b/infer/src/IR/Sil.re index 4e2377eb4..a6fe33a3f 100644 --- a/infer/src/IR/Sil.re +++ b/infer/src/IR/Sil.re @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Sil.rei b/infer/src/IR/Sil.rei index 898fcbcc2..19a02553a 100644 --- a/infer/src/IR/Sil.rei +++ b/infer/src/IR/Sil.rei @@ -6,6 +6,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Tenv.re b/infer/src/IR/Tenv.re index baf189dd8..a7d91f376 100644 --- a/infer/src/IR/Tenv.re +++ b/infer/src/IR/Tenv.re @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Tenv.rei b/infer/src/IR/Tenv.rei index d55b23231..40c7afe62 100644 --- a/infer/src/IR/Tenv.rei +++ b/infer/src/IR/Tenv.rei @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Typename.re b/infer/src/IR/Typename.re index 05f7415ad..e3fa4473c 100644 --- a/infer/src/IR/Typename.re +++ b/infer/src/IR/Typename.re @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Typename.rei b/infer/src/IR/Typename.rei index 182d21aa1..5bd9dd690 100644 --- a/infer/src/IR/Typename.rei +++ b/infer/src/IR/Typename.rei @@ -5,6 +5,8 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. + * vim: set ft=rust: + * vim: set ft=reason: */ open! Utils;