All pastes #806606 Raw Edit

Stuff

public text v1 · immutable
·published 2007-12-05 19:23 UTC
rendered paste body
>>> import re
>>> x = re.compile(r'gcc\[(\d+)\]')
>>> str = "gcc[12]"
>>> x.findall(str)
['12']