fix \file

diff --git a/src/theory/quantifiers/modes.cpp b/src/theory/quantifiers/modes.cpp
index b6786d9f0e8a808b6eb80d13137fcba230d37fbc..a4c8c1e7baecf31357578ff09e29b6ee770100c6 100644 (file)
--- a/src/theory/quantifiers/modes.cpp
+++ b/src/theory/quantifiers/modes.cpp
@@ -1,5 +1,5 @@
 /*********************                                                        */
-/*! \file inst_when_mode.cpp
+/*! \file modes.cpp
  ** \verbatim
  ** Original author: mdeters
  ** Major contributors: ajreynol