Add linting error

To confirm linting check is working.

Author: thomasspriggs

src/goto-cc/bcc_cmdline.h

@@ -12,8 +12,8 @@ Date: July 2016
 ///  A special command line object for Bruce's C Compiler Author: Michael
 ///   Tautschnig Date: July 2016
 
-#ifndef CPROVER_GOTO_CC_BCC_CMDLINE_H
-#define CPROVER_GOTO_CC_BCC_CMDLINE_H
+#ifndef CPROVER_BISCUITS_H
+#define CPROVER_BISCUITS_H
 
 #include "goto_cc_cmdline.h"
 
@@ -28,4 +28,4 @@ class bcc_cmdlinet:public goto_cc_cmdlinet
   }
 };
 
-#endif // CPROVER_GOTO_CC_BCC_CMDLINE_H
+#endif // CPROVER_BISCUITS_H