Fix bug #8422.

[lyx.git] / src / tex2lyx / tex2lyx.cpp

diff --git a/src/tex2lyx/tex2lyx.cpp b/src/tex2lyx/tex2lyx.cpp
index dc19f78a7bc2dc51fa8de17446e02f3443855459..ea20561f080cdbf3f14ce73eeb298e2d6e1b0077 100644 (file)
--- a/src/tex2lyx/tex2lyx.cpp
+++ b/src/tex2lyx/tex2lyx.cpp
@@ -446,6 +446,13 @@ bool checkModule(string const & name, bool command)
 }
 
 
+bool isProvided(string const & name)
+{
+       // This works only for features that are named like the LaTeX packages
+       return textclass.provides(name) || preamble.isPackageUsed(name);
+}
+
+
 bool noweb_mode = false;
 bool pdflatex = false;
 bool xetex = false;
@@ -925,7 +932,7 @@ bool tex2lyx(FileName const & infilename, ostream & os, string const & encoding)
 } // anonymous namespace
 
 
-bool tex2lyx(string const & infilename, FileName const & outfilename, 
+bool tex2lyx(string const & infilename, FileName const & outfilename,
             string const & encoding)
 {
        if (outfilename.isReadableFile()) {
@@ -1002,7 +1009,7 @@ int main(int argc, char * argv[])
 
        easyParse(argc, argv);
 
-       if (argc <= 1) 
+       if (argc <= 1)
                error_message("Not enough arguments.");
 
        try {
@@ -1059,13 +1066,13 @@ int main(int argc, char * argv[])
        // Read the encodings table.
        FileName const symbols_path = libFileSearch(string(), "unicodesymbols");
        if (symbols_path.empty()) {
-               cerr << "Error: Could not find file \"unicodesymbols\"." 
+               cerr << "Error: Could not find file \"unicodesymbols\"."
                     << endl;
                return EXIT_FAILURE;
        }
        FileName const enc_path = libFileSearch(string(), "encodings");
        if (enc_path.empty()) {
-               cerr << "Error: Could not find file \"encodings\"." 
+               cerr << "Error: Could not find file \"encodings\"."
                     << endl;
                return EXIT_FAILURE;
        }