//== 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() { }