php 值传送后查找数据库找不到

php 值传递后查找数据库找不到
做一个简单的学生管理系统
         专业：
    计算机科学与技术
    网络工程
    财务管理
    全部
上边是选项
这边是进行数据库搜索
if ( $pro!="全部" )
{
$query = "select * from s where pro=$pro";
}
请问下为什么取出来了值但是在数据库中找不到匹配?
提示query为空值
数据库已有这个数据

------解决方案--------------------
至少要这样
$query = "select * from s where pro='$pro'";