//== SubEngine.cpp - Interface of the subengine of CoreEngine ------*- C++ -*-//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
using namespace clang::ento;
void SubEngine::anchor() { }