a;asdklf;jasdf

Author: keram88

lib/smack/SmackInstGenerator.cpp

@@ -893,10 +893,7 @@ void SmackInstGenerator::visitIntrinsicInst(llvm::IntrinsicInst &ii) {
   //
   // Nothing is done with this to prevent warnings about this intrinsic
   // being unsoundly modeled.
-  static const auto assume =
-    [this](CallInst *ci) {
-    return;
-  };
+  static const auto assume = [this](CallInst *ci) { return; };
 
   //(CallInst -> Void) -> [Flags] -> (CallInst -> Void)
   static const auto conditionalModel =