Commit 849e8303 authored by Christoph Grüninger's avatar Christoph Grüninger

Remove duplicate typedef, already defined in buildindexset.hh

parent 1b545b39
// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#include "config.h"
#include <config.h>
#include <dune/common/parallel/indexset.hh>
#include <dune/common/parallel/plocalindex.hh>
......@@ -19,9 +19,6 @@ int main(int argc, char **argv)
// The rank of our process
int rank = helper.rank();
// The type used as the local index
typedef Dune::ParallelLocalIndex<Flag> LocalIndex;
// The type used as the global index
typedef int GlobalIndex;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment