<?php

class PHPParser_Node_Expr_Cast_Double extends PHPParser_Node_Expr_Cast
{
}