diff options
| author | David Shah <davey1576@gmail.com> | 2018-06-17 15:04:53 +0200 |
|---|---|---|
| committer | David Shah <davey1576@gmail.com> | 2018-06-17 15:04:53 +0200 |
| commit | 748171dae29c65182e6360a12a9e2bdbbfc35163 (patch) | |
| tree | daddc1f0a38029f2c77f8c4253a3a5682a45033f /common/place_sa.h | |
| parent | 681c9654d7c49d407a999b2b03c980d66bcefd8f (diff) | |
| download | nextpnr-748171dae29c65182e6360a12a9e2bdbbfc35163.tar.gz nextpnr-748171dae29c65182e6360a12a9e2bdbbfc35163.tar.bz2 nextpnr-748171dae29c65182e6360a12a9e2bdbbfc35163.zip | |
place_sa: Adding seed option
Signed-off-by: David Shah <davey1576@gmail.com>
Diffstat (limited to 'common/place_sa.h')
| -rw-r--r-- | common/place_sa.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/place_sa.h b/common/place_sa.h index f320111e..944cb97e 100644 --- a/common/place_sa.h +++ b/common/place_sa.h @@ -23,7 +23,7 @@ NEXTPNR_NAMESPACE_BEGIN -extern void place_design_sa(Design *design); +extern void place_design_sa(Design *design, int seed); NEXTPNR_NAMESPACE_END |