corrected typo in faq

Author: lglessen

Diff for: doc/inc/faq/faqtext.txt

@@ -339,7 +339,7 @@ SECTION: General Questions about SCIP
     LABEL:scipblisscrash
     ANSWER:
     <p>
-        The bliss library can be compiled with or without GMP support. If bliss is compiled with GMP the macro defininiton
+        The bliss library can be compiled with or without GMP support. If bliss is compiled with GMP the macro definition
         <code>BLISS_USE_GMP</code> must be added, otherwise the headers do not match the library which produces the crash.
         If bliss is compiled as shared library, the CMake system should be able to detect this automatically.
         In case you do not need symmetry handling, the easiest way to resolve the problem is to just disable