diff options
Diffstat (limited to 'Master/texmf-dist/tex/generic/pgf/libraries/pgflibrarytikzpetri.code.tex')
-rw-r--r-- | Master/texmf-dist/tex/generic/pgf/libraries/pgflibrarytikzpetri.code.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/generic/pgf/libraries/pgflibrarytikzpetri.code.tex b/Master/texmf-dist/tex/generic/pgf/libraries/pgflibrarytikzpetri.code.tex index ebb43bca13f..375713fa933 100644 --- a/Master/texmf-dist/tex/generic/pgf/libraries/pgflibrarytikzpetri.code.tex +++ b/Master/texmf-dist/tex/generic/pgf/libraries/pgflibrarytikzpetri.code.tex @@ -7,7 +7,7 @@ % % See the file doc/generic/pgf/licenses/LICENSE for more details. -\ProvidesFileRCS[v\pgfversion] $Header: /cvsroot/pgf/pgf/generic/pgf/libraries/pgflibrarytikzpetri.code.tex,v 1.3 2006/10/11 15:22:26 tantau Exp $ +\ProvidesFileRCS[v\pgfversion] $Header: /cvsroot/pgf/pgf/generic/pgf/libraries/pgflibrarytikzpetri.code.tex,v 1.4 2006/10/17 08:16:28 tantau Exp $ % Styles for places: @@ -39,7 +39,7 @@ \tikzstyle{every token}= [] \tikzstyle{token}= [fill=black,draw=none,circle, inner sep=0.5pt,minimum size=1ex, - text=white,font=\tiny,every token] + text=white,font=\pgfutil@font@tiny,every token] \tikzoption{token distance}{\def\tikz@token@distance{#1}} \def\tikz@token@distance{1.5ex} |