Revision bb921475176d27547ae166ffa604e065eabf66a9 authored by Danilo Piparo on 13 November 2013, 12:54:28 UTC, committed by Danilo Piparo on 13 November 2013, 12:57:47 UTC
The template template arguments were not properly qualified. In this case, we had a __pool instead of __gnu_cxx::__pool which was not of course compiled correctly. The fix introduces a special treatment of template template argument to add to them their NestedNameSpecifier if not already qualified.
1 parent ce1a14b
File | Mode | Size |
---|---|---|
css | ||
figures | ||
Makefile | -rw-r--r-- | 987 bytes |
Spectrum.md | -rw-r--r-- | 90.4 KB |
metadata.xml | -rw-r--r-- | 104 bytes |
title.txt | -rw-r--r-- | 61 bytes |
titlepage.md | -rw-r--r-- | 267 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...