tex log file

demo29372.0.log

This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=latex 2011.7.3)  24 SEP 2011 11:43
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**demo29372.0
(./demo29372.0.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, dumylang, nohyphenation, ge
rman-x-2009-06-19, ngerman-x-2009-06-19, afrikaans, ancientgreek, ibycus, arabi
c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
 icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
 lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, loaded
.
(/usr/local/texlive/2011/texmf-dist/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/local/texlive/2011/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2009/07/02 v2.20.1
\thm@style=\toks14
\thm@bodyfont=\toks15
\thm@headfont=\toks16
\thm@notefont=\toks17
\thm@headpunct=\toks18
\thm@preskip=\skip43
\thm@postskip=\skip44
\thm@headsep=\skip45
\dth@everypar=\toks19
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/thmtools.sty
Package: thmtools 2010/08/09 v50
\thmt@toks=\toks20
\c@thmt@dummyctr=\count87

(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/thm-patch.sty
Package: thm-patch 2010/08/09 v50

(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/parseargs.sty
Package: parseargs 2010/08/09 v50
\@parsespec=\toks21
))
(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/thm-kv.sty
Package: thm-kv 2010/08/09 v50
Package thm-kv Info: Theorem names will be uppercased on input line 40.

(/usr/local/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks22
)
(/usr/local/texlive/2011/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO)

(/usr/local/texlive/2011/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO)
)
(/usr/local/texlive/2011/texmf-dist/tex/generic/oberdiek/etexcmds.sty
Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (HO)

(/usr/local/texlive/2011/texmf-dist/tex/generic/oberdiek/ifluatex.sty
Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
)
Package etexcmds Info: Could not find \expanded.
(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
(etexcmds)             that some package has redefined \expanded.
(etexcmds)             In the latter case, load this package earlier.
)))
(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/thm-autoref.sty
Package: thm-autoref 2010/08/09 v50

(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/aliasctr.sty
Package: aliasctr 2010/08/09 v50

(/usr/local/texlive/2011/texmf-dist/tex/latex/carlisle/remreset.sty)))
(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/thm-listof.sty
Package: thm-listof 2010/08/09 v50
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/thm-restate.sty
Package: thm-restate 2010/08/09 v50
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
Package: thm-amsthm 2010/08/09 v50
\thmt@style@headstyle=\toks23
))
\c@thm=\count88

(./demo29372.0.aux)
\openout1 = `demo29372.0.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.

! Missing \endcsname inserted.
<to be read again> 
                   \protect 
l.29 \begin{corollary}[\ref{a}]
                               
? x
 
Here is how much of TeX's memory you used:
 830 strings out of 493634
 13377 string characters out of 3143401
 58433 words of memory out of 3000000
 4161 multiletter control sequences out of 15000+200000
 4553 words of font info for 17 fonts, out of 3000000 for 9000
 831 hyphenation exceptions out of 8191
 38i,0n,28p,182b,139s stack positions out of 5000i,500n,10000p,200000b,50000s
No pages of output.

demo29372.0.tex

\listfiles
\documentclass{article}

\usepackage{amsthm}
\usepackage{thmtools}

\declaretheoremstyle[%
  spaceabove=4ex%
]{thmstyle}
\declaretheorem[%
  name={Theorem},%
  numberwithin=section,%
  style=thmstyle,%
]{thm}
\declaretheorem[%
  name={Corollary},%
  style=thmstyle,%
  sharenumber=thm,%
]{corollary}

\begin{document}

\section{foo}

\begin{thm}\label{a}
Some text.
\end{thm}

\begin{corollary}[\ref{a}]
Some text.
\end{corollary}

\end{document}