src/simulator/simulator.cc
changeset 110 9ac6d63bfe33
parent 100 05fa5c7ddf2a
child 111 ad64f88919b5
equal deleted inserted replaced
109:d05b3025f1c1 110:9ac6d63bfe33
     1 /* -*-    Mode:C++; c-basic-offset:4; tab-width:4; indent-tabs-mode:f -*- */
     1 /* -*-    Mode:C++; c-basic-offset:4; tab-width:4; indent-tabs-mode:nil -*- */
     2 /*
     2 /*
     3  * Copyright (c) 2005,2006 INRIA
     3  * Copyright (c) 2005,2006 INRIA
     4  * All rights reserved.
     4  * All rights reserved.
     5  *
     5  *
     6  * This program is free software; you can redistribute it and/or modify
     6  * This program is free software; you can redistribute it and/or modify