// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#include "template_inline.h"
#include "template_inline_i.h"


#line 185 "template.cpp"


template <> stack_t<int>*
create_stack<int>()
{
  return new stack<int>();
}
